Computer Aided Verification
From MaRDI portal
Publication:5716568
DOI10.1007/b138445zbMath1081.68606OpenAlexW2507913385MaRDI QIDQ5716568
Ying Hu, Amir Pnueli, Clark Barrett, Lenore D. Zuck, Benjamin Goldberg, Yi Fang
Publication date: 10 January 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b138445
Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (10)
\textsc{Diffy}: inductive reasoning of array programs using difference invariants ⋮ Product programs and relational program logics ⋮ A formally verified compiler back-end ⋮ Relational separation logic ⋮ Certifying compilers using higher-order theorem provers as certificate checkers ⋮ TASS: the toolkit for accurate scientific software ⋮ FEVS: a functional equivalence verification suite for high-performance scientific computing ⋮ Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006) ⋮ A self-certifying compilation framework for WebAssembly ⋮ TVOC
This page was built for publication: Computer Aided Verification
