A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Foundations of the Bandera Abstraction Tools
[chapter]
2002
Lecture Notes in Computer Science
Current research is demonstrating that model-checking and other forms of automated finite-state verification can be effective for checking properties of software systems. Eue to the exponentid costs associated with model-checking, multiple forms of abstraction are often necessary to obtain system models that are tractable for automated checking. The Bandera Tool Set provides multiple forms of automated support for compiling concurrent Java software systems to models that can be supplied to
doi:10.1007/3-540-36377-7_9
fatcat:l5f6fssdargbjlm6rt2knk4h3m