Using predicate abstraction to reduce object-oriented programs for model checking
- 24 August 2000
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- BanderaPublished by Association for Computing Machinery (ACM) ,2000
- Verification of time partitioning in the DEOS scheduler kernelPublished by Association for Computing Machinery (ACM) ,2000
- A practical method for verifying event-driven softwarePublished by Association for Computing Machinery (ACM) ,1999
- Using the ASTRAL model checker to analyze mobile IPPublished by Association for Computing Machinery (ACM) ,1999
- Decoupling synchronization from local control for efficient symbolic model checking of statechartsPublished by Association for Computing Machinery (ACM) ,1999
- Data flow analysis for checking properties of concurrent Java programsPublished by Association for Computing Machinery (ACM) ,1999
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Construction of abstract state graphs with PVSPublished by Springer Nature ,1997
- Model checking large software specificationsPublished by Association for Computing Machinery (ACM) ,1996
- Model checking and abstractionACM Transactions on Programming Languages and Systems, 1994