by FMCO 2003 (2003 Leiden, Netherlands)
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the ob…