The following pages link to Piton (Q40435):
Displaying 11 items.
- ASM refinement and generalizations of forward simulation in data refinement: a comparison (Q555790) (← links)
- Certifying compilers using higher-order theorem provers as certificate checkers (Q633302) (← links)
- A mechanical analysis of program verification strategies (Q928673) (← links)
- Theories for mechanical proofs of imperative programs (Q1267030) (← links)
- Reuse of proofs in software verification (Q1419888) (← links)
- Proof movie -- a proof with the Boyer-Moore prover (Q2366695) (← links)
- A formally verified compiler back-end (Q2655327) (← links)
- Mechanical Software Verification (Q2841237) (← links)
- On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention (Q5187821) (← links)
- (Q5417200) (← links)
- A Completely Verified Realistic Bootstrap Compiler (Q5696931) (← links)
