The following pages link to Verification: Theory and Practice (Q5305649):
Displaying 5 items.
- TOrPEDO : witnessing model correctness with topological proofs (Q2065548) (← links)
- Reusing predicate precision in value analysis (Q2165503) (← links)
- Integrating Topological Proofs with Model Checking to Instrument Iterative Design (Q5039527) (← links)
- Loop invariants (Q5176169) (← links)
- On-the-Fly Techniques for Game-Based Software Model Checking (Q5458322) (← links)
