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
- A simple, verified validator for software pipelining
- Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework
- Program and proof optimizations with type systems
- Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification
- Static Analysis
- Certifying compilers using higher-order theorem provers as certificate checkers
- FEVS: a functional equivalence verification suite for high-performance scientific computing
- Equality Saturation: A New Approach to Optimization
- 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
