Export Citations
1 Results for: Keyword: deadlock states
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,843,530 records)|Limit your search to The ACM Full-Text Collection (775,586 records)
Select All
- articleSeptember 1998
Compositional verification of concurrent systems using Petri-net-based condensation rules
ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 20, Issue 5Pages 917–979https://doi.org/10.1145/293677.293681The state-explosion problem of formal verification has obstructed its application to large-scale software systems. In this article, we introduce a set of new condensation theories: IOT-failure equivalence, IOT-state equivalence, and firing-dependence ...
