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