The following repository contains files related SpecBench-SMV Mini. It contains Standard Operations Procedure documents and their corresponding expert written SMV files.

Some files may contain a .ord file, which is used by the NuSMV compiler to compile BDDs in a set order to avoid state explosion.

These 10 files cover these narrow domain buckets(Coverage Map):-

- Protocols := BRP protocol, PCI Bus Protocol
- Synchronization & Concurrency :=  Two Process Semaphore,  Mutual Exclusion
- Memory Management := GigaMax Cache Coherence,  Priority Queue Buffer
- Digital Logic :=  Ring Oscillator logic
- Reactive Control Systems :=  Robotics Controller,  Shuttle Guidance System
- Safety Critical :=  TCAS