Parallel symbolic state-space exploration is difficult, but what is the alternative?

@inproceedings{Ciardo2009ParallelSS,
  title={Parallel symbolic state-space exploration is difficult, but what is the alternative?},
  author={Gianfranco Ciardo and Yang Zhao and Xiaoqing Jin},
  booktitle={PDMC},
  year={2009}
}
State-space exploration is an essential first step in many modeling and analys is problems. Its goal is to find and store all the states reachable from the initial state(s) of a discre te-state high-level model described, for example, using pseudocode or Petri nets. The state spa ce can then be used to answer important questions, such as “Is there a dead state?” and “Can variable n ever become negative?”, or as the starting point for sophisticated investigations expressed in temporal logic… CONTINUE READING
Highly Cited
This paper has 20 citations. REVIEW CITATIONS
12 Citations
51 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 12 extracted citations

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…