The following pages link to Computer Aided Verification (Q5716570):
Displaying 8 items.
- Cogent (Q14040) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Verification of SpecC using predicate abstraction (Q2369884) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- A Framework for the Automatic Formal Verification of Refinement from Cogent to C (Q2829268) (← links)
- Refinement through restraint: bringing down the cost of verification (Q2982005) (← links)
- SAT-Based Model Checking (Q3176368) (← links)
- Simplify: a theorem prover for program checking (Q3546294) (← links)