Famous FM Success Stories


 * 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