Expand description
Common structures concerning model-checking.
Structs§
- Culprit
- The culprit of an unknown three-valued model-checking result.
- Prepared
Property - A Computation Tree Logic property prepared for model-checking.
Enums§
- Conclusion
- Three-valued model-checking result.