Model checking programs
Authors:
- W. VisserWVW. Visser
- K. HavelundKHK. Havelund
- G. BratGBG. Brat
- Seungjoon ParkSPSeungjoon Park
- 1 January 2000
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 3-11
Abstract
No abstract availableThis publication has 16 references indexed in Scilit:
- Bandera: extracting finite-state models from Java source code2002
- Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulationInternational Journal on Software Tools for Technology Transfer, 2000
- A deadlock detection tool for concurrent Java programsSoftware: Practice and Experience, 1999
- Mechanical verification of a garbage collector1999
- Remote Agent: to boldly go where no AI system has gone beforeArtificial Intelligence, 1998
- Uppaal in a nutshellInternational Journal on Software Tools for Technology Transfer, 1997
- EraserACM Transactions on Computer Systems, 1997
- Model checking for programming languages using VeriSoft1997
- A mechanically verified incremental garbage collectorFormal Aspects of Computing, 1994
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987