swMATH28721MaRDI QIDQ40435FDOQ40435
Author name not available (Why is that?)
Official website: https://www.springer.com/us/book/9780792339205
Cited In (12)
- 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
- Title not available (Why is that?)
- ComLisp
- Certifying compilers using higher-order theorem provers as certificate checkers
- Mechanical software verification: high level control aspects from a user's perspective
- A Completely Verified Realistic Bootstrap Compiler
- A mechanical analysis of program verification strategies
This page was built for software: Piton
