Piton
From MaRDI portal
Cited in
(14)- Theories for mechanical proofs of imperative programs
- Reuse of proofs in software verification
- TVOC
- VLISP
- Proof movie -- a proof with the Boyer-Moore prover
- A formally verified compiler back-end
- Mechanical software verification: high level control aspects from a user's perspective
- ComLisp
- 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?)
- ASM refinement and generalizations of forward simulation in data refinement: a comparison
- A Completely Verified Realistic Bootstrap Compiler
- Certifying compilers using higher-order theorem provers as certificate checkers
- A mechanical analysis of program verification strategies
This page was built for software: Piton
