A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Compositional Reasoning in Model Checking
[chapter]
1998
Lecture Notes in Computer Science
The main problem in model checking that prevents it from being used for verification of large systems is the state explosion problem. This problem often arises from combining parallel processes together. Many techniques have been proposed to overcome this difficulty and, thus, increase the size of the systems that model checkers can handle. We describe several compositional model checking techniques used in practice and show a few examples demonstrating their performance. 120
doi:10.1007/3-540-49213-5_4
fatcat:quilkf54sjgfveohuiku2h7u6q