Pages that link to "Item:Q2058379"
From MaRDI portal
The following pages link to Certifying proofs for SAT-based model checking (Q2058379):
Displaying 5 items.
- Progress in certifying hardware model checking results (Q832275) (← links)
- TOrPEDO : witnessing model correctness with topological proofs (Q2065548) (← links)
- Automated Verification of Parallel Nested DFS (Q5039512) (← links)
- Verified Certification of Reachability Checking for Timed Automata (Q5039522) (← links)
- Integrating Topological Proofs with Model Checking to Instrument Iterative Design (Q5039527) (← links)
