The following pages link to TVOC (Q15060):
Displaying 18 items.
- Certifying compilers using higher-order theorem provers as certificate checkers (Q633302) (← links)
- Translation and run-time validation of loop transformations (Q812060) (← links)
- Program and proof optimizations with type systems (Q953533) (← 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)
- Equality Saturation: A New Approach to Optimization (Q3003313) (← links)
- Formal verification of translation validators (Q3189822) (← links)
- Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification (Q3455833) (← links)
- Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework (Q4930715) (← links)
- A simple, verified validator for software pipelining (Q5255064) (← links)
- Computer Aided Verification (Q5716550) (← links)
- Computer Aided Verification (Q5716558) (← links)
- Static Analysis (Q5897436) (← links)
- Types for Proofs and Programs (Q5897608) (← links)
