TVOC
From MaRDI portal
Software:15060
swMATH2521MaRDI QIDQ15060FDOQ15060
Author name not available (Why is that?)
Cited In (18)
- A self-certifying compilation framework for WebAssembly
- A formally verified compiler back-end
- Computer Aided Verification
- Formal verification of translation validators
- Product programs and relational program logics
- Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)
- Computer Aided Verification
- Beyond 2-safety: asymmetric product programs for relational program verification
- A simple, verified validator for software pipelining
- Program and proof optimizations with type systems
- Equality saturation: a new approach to optimization
- Static Analysis
- Certifying compilers using higher-order theorem provers as certificate checkers
- 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
- Types for Proofs and Programs
- Translation and run-time validation of loop transformations
This page was built for software: TVOC
