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