Heuristics for model checking Java programs
- 1 August 2004
- journal article
- Published by Springer Nature in International Journal on Software Tools for Technology Transfer
- Vol. 6 (4) , 260-276
- https://doi.org/10.1007/s10009-003-0130-9
Abstract
No abstract availableThis publication has 44 references indexed in Scilit:
- The right algorithm at the right time: comparing data flow analysis algorithms for finite state verificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Tool-supported program abstraction for finite-state verificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Modular verification of software components in CPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Using model checking to generate tests from specificationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Automatically validating temporal safety properties of interfacesPublished by Springer Nature ,2001
- BanderaPublished by Association for Computing Machinery (ACM) ,2000
- Symbolic guided search for CTL model checkingPublished by Association for Computing Machinery (ACM) ,2000
- Counterexample-Guided Abstraction RefinementPublished by Springer Nature ,2000
- Model CheckingPublished by Springer Nature ,1996
- Model checking and abstractionACM Transactions on Programming Languages and Systems, 1994