Expand description
Algorithms for proving the safety of a finite state transition system.
Re-exports§
pub use ic3_stateful_solver::IC3Stateful;pub use ic3_stateless_solver::IC3Stateless;pub use pdr::PDR;pub use proof_result::ProofResult;
Modules§
- ic3_
stateful_ solver - This algorithm is an almost exact implementation of what is described in “SAT-Based Model Checking without Unrolling”.
- ic3_
stateless_ solver - This algorithm is an exact implementation of what is described in “SAT-Based Model Checking without Unrolling”.
- pdr
- proof_
result