Stefan Edelkamp, Shahid Jabbar  Home/Search
Context
Related
| andorfer.cs.unido...AcceleratingES.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: andorfer.cs.unidortmund.de/~j... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we refine external exploration for explicit state model checking by a fusion of External A* with internal bit state hashing. (Update)
Active bibliography (related documents): More All
1.0: Parallel External Directed Model Checking with Linear I/O - Jabbar, Edelkamp (2006) (Correct)
0.3: Directed Search for the Verification of Communication Protocols - Lafuente (2003) (Correct)
0.2: Large-Scale Directed Model Checking LTL - Edelkamp, Jabbar (2006) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ edelkamp-accelerating,
author = "Stefan Edelkamp and Shahid Jabbar",
title = "Accelerating External Search with Bitstate Hashing",
url = "citeseer.ist.psu.edu/758895.html" }
Citations (may not include all citations):297 Symbolic Model Checking (context) - McMillan - 1993
40 The Spin Model Checker: Primer and Reference Manual (context) - Holzmann - 2004
27 Ten years of partial order reduction (context) - Peled - 1998
26 Formal Methods in System Design (context) - Holzmann, of - 1998
26 complexity of graph algorithms (context) - Munagala, Ranade et al. - 2001
16 Directed explicit-state model checking in the validation of .. - Edelkamp, Leue et al. - 2004
9 Heuristic model checking for java programs - Groce, Visser - 2004
9 Systems and Software Verification (context) - Berard, Bidoit et al. - 2001
6 cient directed model checking (context) - Jabbar, Edelkamp - 2005
2 Symmetry and model checking (context) - McMillan - 1998
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