Application of Formal Verification to Design Creation and Implementation.

Noel R. Strader Gérard Memmi Carl Pixley

Published in: ISQED (2001)

Keyphrases

current status
formal verification
model checking
modular design
bounded model checking