TVOC
From MaRDI portal
Cited in
(35)- VLISP
- TAMPR
- TASS_
- ISP
- CLIPS
- TASS: the toolkit for accurate scientific software
- FEVS: a functional equivalence verification suite for high-performance scientific computing
- MARMOT
- CVC
- CVT
- A self-certifying compilation framework for WebAssembly
- Product programs and relational program logics
- Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)
- SymDiff
- A formally verified compiler back-end
- CodeSurfer
- Equality saturation: a new approach to optimization
- Formal verification of translation validators
- CoVaC
- Beyond 2-safety: asymmetric product programs for relational program verification
- Piton
- WPDS++
- Translation validation of loop optimizations and software pipelining in the TVOC framework. In memory of Amir Pnueli
- A simple, verified validator for software pipelining
- WebAssembly
- Crellvm
- Loopy
- Computer Aided Verification
- Computer Aided Verification
- Static Analysis
- Types for Proofs and Programs
- RHLE Benchmarks
- Certifying compilers using higher-order theorem provers as certificate checkers
- Translation and run-time validation of loop transformations
- Program and proof optimizations with type systems
This page was built for software: TVOC
