Quote: the VFSM validator exhaustively exercises a network of communicating VFSMs using the supertrace algorithm; found errors in three tested applications; widely used formal method

topics > all references > references e-f > QuoteRef: florAR1_1997 , p. 108

formal methods and languages
model checker
communicating sequential processes

Quotation Skeleton

[The VFSM validator] exhaustively exercises possible execution scenarios of a … as deadlock … [It constructs] the global state graph of the network … . The VFSM validator employs the supertrace algorithm … [Holzmann, G.J., Design and Validation of Computer Protocols, 1991] … [In 1993] we validated three VFSM applications that had … applications that escaped detection during simulation and teting. … The VFSM validator has since been used by … been used on a wide scale in an … extremely compact representation of control behavior.   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics up

Topic: formal methods and languages (53 items)
Topic: model checker (49 items)
Topic: communicating sequential processes (33 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.