The software model checker Blast
Authors:
Top Cited Papers
- 13 September 2007
- journal article
- Published by Springer Nature in International Journal on Software Tools for Technology Transfer
- Vol. 9 (5-6) , 505-525
Abstract
No abstract availableKeywords
This publication has 73 references indexed in Scilit:
- Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis2007
- Lazy Shape AnalysisLecture Notes in Computer Science, 2006
- Checking Memory Safety with Blast2005
- An eclipse plug-in for model checking2004
- Generating tests from counterexamples2004
- The Blast Query Language for Software VerificationLecture Notes in Computer Science, 2004
- Zing: A Model Checker for Concurrent Software2004
- The S LAM project2002
- Timing Verification by Successive ApproximationInformation and Computation, 1995
- An iterative approach to language containmentLecture Notes in Computer Science, 1993