Shahid Jabbar and Stefan Edelkamp Department of Computer Science Baroper Str. ...  Home/Search
Context
Related
| andorfer.cs.unido...dModelChecking.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: andorfer.cs.unidortmund.de/~j... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Directed model checking has proved itself to be a useful technique in reducing the state space of the problem graph. But still, its potential is limited by the available memory. This problem can be circumvented by the use of secondary storage devices to store the state space. This paper discusses directed best-first search to enhance error detection capabilities of model checkers like SPIN by using a streamed access to secondary storage. We explain, how to extend SPIN to allow external... (Update)
Active bibliography (related documents): More All
1.1: Parallel External Directed Model Checking with Linear I/O - Jabbar, Edelkamp (2006) (Correct)
0.8: Directed Search for the Verification of Communication Protocols - Lafuente (2003) (Correct)
0.7: Cost-Optimal Planning with Constraints and Preferences in Large - State Spaces Stefan (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ and-io,
author = "Shahid Jabbar And",
title = "I/O Efficient Directed Model Checking",
url = "citeseer.ist.psu.edu/759938.html" }
Citations (may not include all citations):828 Model Checking - Clarke, Grumberg et al. - 2000
779 Symbolic model checking: 10 20 states and beyond - Burch, Clarke et al. - 1992
470 Design and Validation of Computer Protocols (context) - Holzmann - 1990
310 A note on two problems in connection with graphs (context) - Dijkstra - 1959
44 A formal basis for heuristic determination of minimum path c.. (context) - Hart, Nilsson et al. - 1968
27 OBDDs in heuristic search - Edelkamp, Reffel - 1998
26 complexity of graph algorithms (context) - Munagala, Ranade et al. - 2001
23 Formalization and validation of the General Inter-ORB Protoc.. (context) - Kamel, Leue - 2000
16 Directed explicit-state model checking in the validation of .. - Edelkamp, Leue et al. - 2004
9 Partial order reduction in directed model checking (context) - Lluch-Lafuente, Leue et al. - 2002
9 Systems and Software Verification (context) - erard, Bidoit et al. - 2001
8 Using magnetic disk instead of main memory in the murphi ver.. - Stern, Dill - 1998
7 External-memory breadth-first search with sublinear I/O - Mehlhorn, Meyer - 2002
3 Structured duplicate detection in external-memory graph sear.. (context) - Zhou, Hansen - 2004
3 Best-first frontier search with delayed duplicate detection (context) - Korf - 2004
3 Breadth-first heuristic search (context) - Zhou, Hansen - 2004
2 An efficient BDD-based heuristic search algorithm (context) - Jensen, Bryant et al. - 2002
2 Symmetry reduction and heuristic search for error detection .. (context) - Lluch-Lafuente - 2003
2 Breadth-first frontier search with delayed duplicate detecti.. (context) - Korf - 2003
2 Schr odl (context) - Edelkamp - 2000
1 External matrix multiplication and all-pairs shortest path (context) - Sibeyn - 2004
1 Memory Hierarchies (context) - Meyer, Sanders et al. - 2003
1 A symbolic approach to the all-pairs shortest-paths problem (context) - Sawatzki - 2004
1 Experimental studies of symbolic shortest-path algorithms (context) - Sawatzki - 2004
Documents on the same site (http://andorfer.cs.uni-dortmund.de/~jabbar/): More
Large-Scale Directed Model Checking LTL - Edelkamp, Jabbar (2006) (Correct)
Cost-Optimal External Planning - Stefan Edelkamp And (2006) (Correct)
Large-Scale Optimal PDDL3 Planning with MIPS-XXL - Stefan Edelkamp Shahid (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