Software Model Checking: Searching for Computations in the Abstract or the Concrete
- 1 January 2005
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- Execution Generated Test Cases: How to Make Systems Code Crash ItselfLecture Notes in Computer Science, 2005
- Concrete Model Checking with Abstract Matching and RefinementLecture Notes in Computer Science, 2005
- Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented ProgramsFormal Methods in System Design, 2004
- A Tool for Checking ANSI-C ProgramsLecture Notes in Computer Science, 2004
- CVC Lite: A New Implementation of the Cooperating Validity CheckerLecture Notes in Computer Science, 2004
- The SLAM ToolkitLecture Notes in Computer Science, 2001
- Path Exploration ToolLecture Notes in Computer Science, 1999
- Construction of abstract state graphs with PVSLecture Notes in Computer Science, 1997
- Partial-Order Methods for the Verification of Concurrent SystemsLecture Notes in Computer Science, 1996
- Symbolic execution and program testingCommunications of the ACM, 1976