Formal Verification Successes at Motorola.

Magdy S. Abadir Ken Albin John Havlicek Narayanan Krishnamurthy Andrew K. Martin

Published in: Formal Methods Syst. Des. (2003)

Keyphrases

formal verification
model checking
model checker
automated verification
bounded model checking
symbolic model checking
cellular phone
coloured petri nets
program slicing