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
.
Developing Model Checkers Using PAT
[chapter]
2010
Lecture Notes in Computer Science
During the last two decades, model checking has emerged as an effective system analysis technique complementary to simulation and testing. Many model checking algorithms and state space reduction techniques have been proposed. Although it is desirable to have dedicated model checkers for every language (or application domain), implementing one with effective reduction techniques is rather challenging. In this work, we present a generic and extensible framework PAT, which facilitates users to
doi:10.1007/978-3-642-15643-4_30
fatcat:r7pxhl6qybaltlrps7nklzs7ue