Spec 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.

规格模式（Specification Patterns）是一个在线信息库，旨在收集关于有限状态验证中属性规格的信息。该库的宗旨是汇聚并发与反应式系统中规格描述中常见模式。