BMRB collects and annotates biological NMR data to make it findable, accessible, interoperable, and reusable.
Spec Patterns
Spec Patterns collects reusable patterns for specifying properties in finite-state verification, with explanations and examples.
About Spec Patterns
Spec Patterns is a repository of temporal specification patterns for writing properties used in finite-state verification. The patterns address behaviors that commonly occur in concurrent and reactive systems. Each pattern includes a description that shows how an informal idea of system behavior can be written as a precise statement in common formal specification languages. The site states that it maps the patterns to several formalisms that have tool support for automated analysis.
The site also lists extensions to the original pattern system by other authors, covering areas such as real-time, timed, and probabilistic properties. It links to a wiki that relates several of these extensions. The source notes that the site was hosted at Kansas State University for many years. Pricing is not stated.
Key features
- Reusable patterns for specifying properties in finite-state verification, with explanations and examples
- Descriptions that map informal system behavior into precise formal statements
- Mappings to several formalisms that have tool support for automated analysis
- A survey of property specifications
- Listed extensions for real-time, timed, and probabilistic property specification
- A wiki relating several of the pattern extensions
Best for: Researchers and practitioners who write formal property specifications for concurrent and reactive systems.
Good for
- Each pattern comes with a description that illustrates how to write it in formal languages
- Mappings are provided to formalisms that have tool support for automated analysis
- Lists published extensions that target specific problem domains
Spec Patterns at a glance
- Website
- matthewbdwyer.github.io/psp
- Category
- Research & Data › Open Data & Datasets
- Type
- Website
- Pricing
- Not confirmed. Check the site
- Platforms
- Web
- Open source
- Not stated
- Last checked
- Oct 6, 2026 · Online when checked
- Listed
- Oct 5, 2026
Spec Patterns alternatives
Tools and sites you could use instead, ranked by how closely they match.
WALS is a database of structural features of languages, including phonological, grammatical, and lexical properties.
WURM catalogs computed mineral properties, including crystal structures, calculation parameters, and spectral measurements.
TreeSource is Canada's national database on wood and tree quality, including properties of economically important species.
Morpheus lets users browse models of multicellular simulations, including built-in examples and models linked to publications.
Serbia’s open data portal shares available datasets, usage examples, and news, and lets users publish datasets and examples.
Popular in Open Data & Datasets
Well-known listings from the same topic.
data.worlddata.worldNASA APIapi.nasa.govState of Hawaiidata.hawaii.govCosmoSimcosmosim.orgdata.meudon.frdata.meudon.frESS-DIVEess-dive.lbl.gov
Spec Patterns FAQ
Does the site include extensions to the original patterns?
Yes. The site lists extensions by other authors, including real-time specification patterns, patterns for timed property specifications, and specification patterns for probabilistic quality properties.
Is there a related wiki?
The site states that there is a wiki that relates several of the pattern extensions.
Is something wrong or out of date?
Tell us and an editor will check it.
Own this website?
Claim this listing
Claim the listing and suggest updates yourself. An editor checks every claim first.