Pages that link to "Item:Q2575735"
From MaRDI portal
The following pages link to From complementation to certification (Q2575735):
Displaying 4 items.
- Certifying proofs for SAT-based model checking (Q2058379) (← links)
- MODULAR RANKING ABSTRACTION (Q3426785) (← links)
- Integrating Topological Proofs with Model Checking to Instrument Iterative Design (Q5039527) (← links)
- Proving the Refuted: Symbolic Model Checkers as Proof Generators (Q5187831) (← links)
