Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits

This publication has 6 references indexed in Scilit:

• A partial approach to model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Partial-order model checking: A guide for the perplexed
  Published by Springer Nature ,1992
• Using partial orders to improve automatic verification methods
  Published by American Mathematical Society (AMS) ,1991
• A stubborn attack on state explosion
  Published by American Mathematical Society (AMS) ,1991
• Acceleration of timing verification method based on time petri nets
  Systems and Computers in Japan, 1991
• Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
  Published by MIT Press ,1989