The following pages link to Computer Aided Verification (Q5716571):
Displaying 9 items.
- LCTD: test-guided proofs for C programs on LLVM (Q338629) (← links)
- Symbolic predictive analysis for concurrent programs (Q432146) (← links)
- Empirical software metrics for benchmarking of verification tools (Q526771) (← links)
- Efficient SAT-based bounded model checking for software verification (Q947794) (← links)
- Verification and falsification of programs with loops using predicate abstraction (Q968302) (← links)
- Infeasible Paths Elimination by Symbolic Execution Techniques (Q2829242) (← links)
- Efficient Term-ITE Conversion for Satisfiability Modulo Theories (Q3637169) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308405) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703792) (← links)