Cited in
(14)- On Trojan horses of Thompson-Goerigk-type, their generation, intrusion, detection and prevention
- A formally verified compiler back-end
- ASM refinement and generalizations of forward simulation in data refinement: a comparison
- Theories for mechanical proofs of imperative programs
- Reuse of proofs in software verification
- Proof movie -- a proof with the Boyer-Moore prover
- TVOC
- VLISP
- ComLisp
- scientific article; zbMATH DE number 6296049 (Why is no real title available?)
- Certifying compilers using higher-order theorem provers as certificate checkers
- Mechanical software verification: high level control aspects from a user's perspective
- A mechanical analysis of program verification strategies
- A Completely Verified Realistic Bootstrap Compiler
This page was built for software: Piton