Traversal Techniques for Concurrent Systems

@inproceedings{Sol2002TraversalTF,
  title={Traversal Techniques for Concurrent Systems},
  author={Marc Sol{\'e} and Enric Pastor},
  booktitle={FMCAD},
  year={2002}
}
Symbolic model checking based on Binary Decision Diagrams (BDDs) is a verification tool that has received an increasing attention by the research community. Conventional breadth-first approach to state generation results is often responsible for inefficiencies due to the growth of the BDD sizes. This is specially true for concurrent systems in which existing research (mostly oriented to synchronous designs) is ineffective. In this paper we show that it is possible to improve BFS symbolic… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 13 CITATIONS

Decision-diagram-based techniques for bounded reachability checking of asynchronous systems

  • International Journal on Software Tools for Technology Transfer
  • 2009
VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

To Parallelize or to Optimize?

VIEW 3 EXCERPTS
CITES METHODS & BACKGROUND