This paper presents an algorithm for detecting deadlocks in concurrent finite-state systems without incurring most of the state explosion due to the modeling of concurrency by interleaving. For systems that have a high level of concurrency our algorithm can be much more efficient than the classical exploration of the whole state space. Finally, we show that our algorithm can also be used for verifying arbitrary safety properties.
CITATION STYLE
Godefroid, P., & Wolper, P. (1992). Using partial orders for the efficient verification of deadlock freedom and safety properties. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 575 LNCS, pp. 332–342). Springer Verlag. https://doi.org/10.1007/3-540-55179-4_32
Mendeley helps you to discover research relevant for your work.