Spec Patterns
Also known as Specification Patterns
Specification Patterns is an online repository for information about property specification for finite-state verification. The intent of this repository is to collect patterns that occur commonly in the specification of concurrent and reactive systems.
Getting access
Open access Open
- How to apply
- Not yet verified — we don’t publish a route we haven’t checked.
Summarised from a registry — the exact application route is not yet verified.
About this database
| Website | https://matthewbdwyer.github.io/psp/ |
|---|---|
| Subjects | Engineering Sciences · Computer Science, Electrical and System Engineering · Computer Science |
| Last updated | 2026-09-12 |