Bandera: extracting finite-state models from Java source code
- 7 November 2002
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the 22nd International Conference on 3D Web Technology - Web3D '17
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Formal analysis of a space-craft controller using SPINIEEE Transactions on Software Engineering, 2001
- Software model checking: extracting verification models from source code†Software Testing, Verification and Reliability, 2001
- Model checking JAVA programs using JAVA PathFinderInternational Journal on Software Tools for Technology Transfer, 2000
- Slicing Software for Model ConstructionHigher-Order and Symbolic Computation, 2000
- Verification of Erlang programs using abstract interpretation and model checkingPublished by Association for Computing Machinery (ACM) ,1999
- The Engineering of a Model Checker: the Gnu i-Protocol Case Study Revisited.Lecture Notes in Computer Science, 1999
- A deadlock detection tool for concurrent Java programsSoftware: Practice and Experience, 1999
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Elements of style: analyzing a software design feature with a counterexample detectorIEEE Transactions on Software Engineering, 1996
- Interprocedural slicing using dependence graphsACM Transactions on Programming Languages and Systems, 1990