The following pages link to Computer Aided Verification (Q5716568):
Displaying 18 items.
- TVOC (Q15060) (← links)
- Certifying compilers using higher-order theorem provers as certificate checkers (Q633302) (← links)
- Translation and run-time validation of loop transformations (Q812060) (← links)
- \textsc{Diffy}: inductive reasoning of array programs using difference invariants (Q832320) (← links)
- Relational separation logic (Q879369) (← links)
- Verified spilling and translation validation with repair (Q1687761) (← links)
- The code validation tool (CVT). Automatic verification of a compilation process (Q1865858) (← links)
- Automatic validation of code-improving transformations on low-level program representations (Q1887677) (← 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)
- Formal verification of synchronous data-flow program transformations toward certified compilers (Q2418653) (← 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)
- Symbolic transfer function-based approaches to certified compilation (Q3452245) (← links)
- Automated Technology for Verification and Analysis (Q5394193) (← links)
- Software Verification of Hyperproperties Beyond k-Safety (Q6487322) (← links)
