Piton
From MaRDI portal
Software:40435
swMATH28721MaRDI QIDQ40435FDOQ40435
Author name not available (Why is that?)
Cited In (11)
- 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?)
- Certifying compilers using higher-order theorem provers as certificate checkers
- On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention
- 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
