loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth International Conference on Computer Communications and Networks (ICCCN '95)
Deadlock Detection in Communicating Finite State Machines by Even Reachability Analysis
Las Vegas, Nevada, USA
September 20-September 23
ISBN: 0-8186-7180-7
Wuxu Peng, Southwest Texas State University
Fair reachability is a very useful technique in detecting errors of deadlocks and unspecified receptions in networks of communicating finite state machines (CFSMs) consisting of two machines. The paper extends the classical fair reachability technique, which is only applicable to the class of two-machine CFSMs, to the general class of CFSMs. For bounded CFSMs, the extended fair reachability technique reduces by more than one half the total number of reachable global states that have to be searched in verifying freedom from deadlocks. The usefulness of the new reachability technique, called even reachability, is demonstrated through two examples.
Index Terms:
Communication protocols, specification and verification, reachability analysis
Citation:
Wuxu Peng, "Deadlock Detection in Communicating Finite State Machines by Even Reachability Analysis," icccn, pp.0656, Fourth International Conference on Computer Communications and Networks (ICCCN '95), 1995
Usage of this product signifies your acceptance of the Terms of Use.