Module mikino_api::check [−][src]
Expand description
Types and helpers to check a transition system.
Re-exports
Modules
Counterexample extraction.
Structs
Base (init) checker.
Result of a base check, simply wraps a CheckRes.
Bounded Model Checker.
Result of a BMC check, simply wraps a CheckRes.
Aggregrates properties that are considered “ok” and properties that have been falsified.
Internal version of a checker.
Internal mini structure to represent the negation of a borrowed expression.
Step (trans) checker.
Result of a step check, simply wraps a CheckRes.