The following pages link to Computer Aided Verification (Q5716568):
Displaying 10 items.
- TVOC (Q15060) (← links)
- Certifying compilers using higher-order theorem provers as certificate checkers (Q633302) (← links)
- \textsc{Diffy}: inductive reasoning of array programs using difference invariants (Q832320) (← links)
- Relational separation logic (Q879369) (← links)
- TASS: the toolkit for accurate scientific software (Q1949767) (← links)
- FEVS: a functional equivalence verification suite for high-performance scientific computing (Q1949768) (← links)
- A self-certifying compilation framework for WebAssembly (Q2234063) (← links)
- Product programs and relational program logics (Q2374302) (← links)
- Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006) (Q2461559) (← links)
- A formally verified compiler back-end (Q2655327) (← links)
