1. Automatic Guidance for the Formal Verification of High Integrity Ada: [ps (a5), pdf (a5) ps (a4), pdf (a4) ]

2. Mechanized Proof and System Verification: [ppt ]

3. Proof Automation for the SPARK Approach to High Integrity Ada (7 month review): [ppt ]