Tilbage til hovedside

Verification Group -- Real Life Stories

Below are links to real-life stories with relation to formal verification.
  • The Arianne Accident
  • The Challenger Accident
  • Pentium Division Bug
  • What really happened on Mars Rover Pathfinder
    • PS: If you know of links to descriptions of other real stories of interest, please let us know.
    Maintained by Henrik Hulgaard, henrik@it.dtu.dk