Famous FM Success Stories

From Evidence on Formal Methods Uses and Impact on Industry
Jump to: navigation, search
  • 1980 - Verification of the IBM’s Customer Information Control System
  • 1989 - The Paris Métro Signaling System (SACEM)
  • 1992 - The Central Control Function Display Information System
  • 1994 - Formal specification of the Traffic Collision Avoidance System (TCAS)
  • 1995 - Formal specification and verification of the AAMP5 microprocessor microcode
  • 2000 - The Mondex Electronic Purse
  • 2001 - Formal design and implementation of the BOS barrier protecting the harbor of Rotterdam
  • 2009 - The Intelr Core i7 Processor Execution Cluster
Personal tools
Namespaces
Variants
Actions
Navigation
Toolbox