Expand description
Common structures concerning model-checking.
Structs§
- Culprit
- The culprit of an unknown three-valued model-checking result.
Enums§
- Conclusion
- Three-valued model-checking result.
- Known
Conclusion
Common structures concerning model-checking.