Proof-Carrying Code The Good, the Bad, and the Ugly

5/11/00


Click here to start


Table of Contents

Proof-Carrying Code The Good, the Bad, and the Ugly

PPT Slide

Verification of Safety

Explicit Proofs

Explicit Proofs

Good Things About PCC

Logic as a lingua franca

Logic as a lingua franca

Logic as a lingua franca

Logic as a lingua franca

Logic as a lingua franca

Good Things About PCC

Automation via Certifying Compilation

Good Things About PCC

Good Things About PCC

PPT Slide

Bad Things About PCC

PPT Slide

Ugly Things About PCC

Ugly Things about PCC

Conclusion

PPT Slide

Proof-Carrying Code

 Author: Peter Lee

Home Page: http://www.rstcorp.com/irc/