Peter Leven, Tilman Mehler, Stefan Edelkamp  Home/Search
Context
Related
| spinroot.com/spin/Wo...033spin2004.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: spinroot.com/spin/W...program2004 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Most approaches for model checking software are based on the generation of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that are not present in the actual program. (Update)
Active bibliography (related documents): More All
1.1: Directed Search for the Verification of Communication Protocols - Lafuente (2003) (Correct)
0.5: Program Model Checking as a New Trend - Havelund, Visser (2000) (Correct)
0.5: Partial-Order Reduction and Trail Improvement in.. - Edelkamp.. (2004) (Correct)
Similar documents based on text: More All
0.3: Trail-directed Java Program Verification - Mehler, Edelkamp (Correct)
0.2: Prediction of Regular Search Tree Growth by Spectral Analysis - Edelkamp (Correct)
0.2: Symbolic Exploration in Two-Player Games: Preliminary Results - Edelkamp (2002) (Correct)
BibTeX entry: (Update)
@misc{ leven-directed,
author = "Peter Leven and Tilman Mehler and Stefan Edelkamp",
title = "Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM",
url = "citeseer.ist.psu.edu/leven04directed.html" }
Citations (may not include all citations):828 Model checking - Clarke, Grumberg et al. - 1999
470 Design and Validation of Computer Protocols (context) - Holzmann - 1991
206 The Model Checker SPIN - Holzmann - 1997
123 Model Checking for Programming Languages using Verisoft - Godefroid - 1997
104 Model Checking Programs - Visser, Havelund et al. - 2000
62 The SLAM Project: Debugging System Software via Static Analy.. (context) - Ball, Rajamani - 2002
39 dSPIN: A dynamic extension of SPIN - Demartini, Iosif et al. - 1999
35 Java PathFinder - second generation of a Java model checker - Visser, Havelund et al. - 2000
30 CMC: A Pragmatic Approach to Model Checking Real Code - Musuvathi, Park et al. - 2002
28 Model Checking Java Programs using Structural Heuristics - Groce, Visser - 2002
20 Trail-directed Model Checking - Edelkamp, Lafuente et al. - 2001
18 Logic Verification of ANSI-C code with SPIN - Holzmann - 2000
12 State Compression in SPIN (context) - Holzmann - 1997
12 Software Verification with BLAST - Henzinger, Jhala et al. - 2003
9 Partial Order Reduction in Directed Model Checking (context) - Lluch-Lafuente, Leue et al. - 2002
8 A Heuristic for Symmetry Reductions with Scalarsets - Bosnacki, Dams et al. - 2001
8 Bogor: An Extensible and Highly-Modular Software Model Check.. - Robby, Dwyer - 2003
7 Exploiting Object Escape and Locking Information in Partial .. - Dwyer, Hatcliff et al. - 2004
3 Byte Code Distance Heuristics and Trail Direction for Model .. (context) - Edelkamp, Mehler - 2003
3 Exploiting Heap Symmetries in Explicit-State Model Checking .. (context) - Iosif - 2001
3 The Bandera Tools for Model-checking Java Source Code: A Use.. (context) - Hatcliff, Tkachuck - 1999
2 Extracting Finite-state Models from Java Source Code (context) - Corbett, Dwyer et al. - 2000
2 Modeling and Verification of sC++ Applications (context) - Cattel - 1998
2 Directed Automated Theorem Proving (context) - Edelkamp, Leven - 2002
1 Introduction to StEAM - An Assembly-Level Software Model Che.. (context) - Mehler, Leven - 2003
Documents on the same site (http://spinroot.com/spin/Workshops/ws04/program2004.html): More
Model checking of UML models via a mapping to communicating.. - Ober, Graf, Ober (2004) (Correct)
Formal Analysis of Processor Timing Models - Wilhelm (Correct)
IF Validation Environment Tutorial - Bozga, Graf, Mounier, Ober (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC