Mechanical Verification

---

(see also Verification)

---

Table of Contents

• Philosophy
  • Automatic Verifiability
    • Early Work
    • Later Work
  • Lessons Learned from SMV Verifications
• KIV
  • KIV and the WAM Case Study
• PVS
  • ASM to PVS Transformation
  • Compiler Back-ends
  • Compiler Back-end Rewrite Systems
  • PVS Representation
• SMV
  • ASM to SMV Transformation
  • Supporting Abstraction
  • Fairisle ATM Switch Case Study
  • Material Flow System Case Study
  • SMV and the FLASH Cache Coherency Protocol
  • SMV and the Production Cell Problem
• Specware
• UML State Machines
  • Announcement
  • Description
• MDG
  • Early Work
  • Master's Thesis
  • Later Work
  • Technical Report

See also this Ph.D. Thesis.