A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Verification of large state/event systems using compositionality and dependency analysis
[chapter]
1998
Lecture Notes in Computer Science
Preserved Fulltext
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and dependency analysis to significantly improve the efficiency of symbolic model checking of state/event models. This technique makes possible automated verification of large industrial designs with the use of only modest resources (less than one hour on a standard PC for a model with 1421 concurrent machines). The results of
doi:10.1007/bfb0054173
fatcat:xsuejamzqzfylezhvwsmrbm45q