IEEE - Institute of Electrical and Electronics Engineers, Inc. - On Verification of Communicating Finite State Machines Using Residual Languages

2007 1st Asia International Conference on Modeling and Simulation

Author(s): El. Chabbar ; M. Bouhdadi
Sponsor(s): IEEE
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 March 2007
Conference Location: Phuket, Thailand
Conference Date: 27 March 2007
Page(s): 212 - 217
ISBN (Paper): 0-7695-2845-7
DOI: 10.1109/AMS.2007.75
Regular:

FIFO channel languages of communicating finite state machines are useful for protocol verification. The reachability set is the set of all reachable states and it's the purpose of reachability... View More

Advertisement