Stefan Edelkamp, StefanLeue, Alberto Lluch-Lafuente  Home/Search
Context Related
| inf.unikonstanz.de/soft...sttt04_6.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: inf.unikonstan...ications_en.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we present work on trail improvement and partial-order reduction in the context of directed explicit-state model checking. Directed explicitstate model checking employs directed heuristic search algorithms such as A* or best-first search to improve the error-detection capabilities of explicit-state model checking. We first present the use of directed explicit-state model checking to improve the length of already established error trails. Second, we show that partial-order... (Update)
Cited by: More
Large-Scale Directed Model Checking LTL - Edelkamp, Jabbar (2006) (Correct)
Partial-Order Reduction for General State Exploring.. - Bosnacki, Leue, Lafuente (2006) (Correct)
Active bibliography (related documents): More All
1.0: Directed Explicit-State Model Checking in the.. - Edelkamp, Leue.. (2002) (Correct)
0.9: Directed Search for the Verification of Communication Protocols - Lafuente (2003) (Correct)
0.8: Heuristics for Model Checking Java Programs - Groce, Visser (2002) (Correct)
Similar documents based on text: More All
0.4: Int J Softw Tools Technol Transfer (2004) 6: 257--259 /.. - Special Section On (Correct)
0.3: An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst.. (2004) (Correct)
0.3: An Agent-Based Approach To Tool Integration - Corradini, Mariani, Merelli (2004) (Correct)
Related documents from co-citation: More All
3: Model Checking - Clarke, Grumberg et al. - 1994
3: Directed Explicit-state Model Checking in the Validation of Communication Protoc.. - Edelkamp, Lafuente et al. - 2002
2: Lectures on Petri Nets I: Basic Models (context) - Valmari, Explosion - 1998
BibTeX entry: (Update)
S. Edelkamp, S. Leue and A. Lluch Lafuente, Partial-order reduction and trail improvement in directed model checking, International Journal on Software Tools for Technology Transfer, vol. 6, nr. 4, pp. 277-301, 2004. http://citeseer.ist.psu.edu/edelkamp04partialorder.html More
@misc{ edelkamp04partialorder,
author = "S. Edelkamp and S. Leue and A. Lafuente",
title = "Partial-order reduction and trail improvement in directed model checking",
text = "S. Edelkamp, S. Leue and A. Lluch Lafuente, Partial-order reduction and
trail improvement in directed model checking, International Journal on Software
Tools for Technology Transfer, vol. 6, nr. 4, pp. 277-301, 2004.",
year = "2004",
url = "citeseer.ist.psu.edu/edelkamp04partialorder.html" }
Citations (may not include all citations):3972 Introduction to algorithms (context) - TH, CE et al. - 1990
1363 The common object request broker architecture and specificat.. (context) - Group - 1997
1180 The temporal logic of reactive and concurrent systems: speci.. (context) - Manna, Pnueli - 1992
828 Model checking - EM, Peled - 1999
470 Design and validation of computer protocols (context) - GJ - 1990
410 Principles of artificial intelligence (context) - NJ - 1980
270 Bandera: Extracting finite-state models from Java source cod.. - JC, MB et al. - 2000
207 A stubborn attack on state explosion (context) - Valmari - 1991
206 The model checker Spin - GJ - 1997
108 Automatically validating temporal safety properties of inter.. - Ball - 2057
101 Better verification through symmetry - CN, DL - 1996
94 Using partial orders to improve automatic verification metho.. (context) - Godefroid - 1991
77 Symmetry and model checking - EA, AP - 1993
53 Coverage preserving reduction strategies for reachability an.. - GJ, Pirottin - 1992
47 Validation with guided search of the state space - CH, DL - 1998
44 unidirectional distributed algorithm for extrema finding in .. (context) - Dolev, Klawe et al. - 1982
44 A formal basis for heuristic determination of minimum path c.. (context) - PE, NJ - 1968
43 The Spin model checker (context) - GJ - 2003
39 Abstract interpretation of reactive systems (context) - Dams, Gerth et al. - 1997
38 Partial-order reduction in symbolic state space exploration - Alur, Brayton et al. - 1997
30 Planning as heuristic search - Bonet, Ge - 2001
28 Model checking java programs using structural heuristics - Groce, Visser - 2002
27 Ten years of partial order reduction (context) - DA - 1998
22 What went wrong: Explaining counterexamples - Groce, Visser - 2003
22 Symbolic guided search for CTL model checking - Bloem, Ravi et al. - 2000
22 Formal verification of a partialorder reduction technique fo.. - C-T - 1996
21 Static partial order reduction (context) - RP, Minea et al. - 1998
20 Trail-directed model checking - Edelkamp, Lluch-Lafuente et al. - 2001
17 The stable marriage problem (context) - DG, LB - 1971
17 The right algorithm at the right time: Comparing data flow a.. - JM, LA et al. - 2001
16 Directed explicit-state model checking in the validation of .. - Edelkamp, Leue et al. - 2004
13 VIP: A visual editor and compiler for v-Promela (context) - Kamel, Leue - 2000
11 Fate and free will in error traces (context) - Jin, Ravi et al. - 2002
10 Exploring very large state spaces using genetic algorithms (context) - Godefroid, Khurshid - 2002
9 Data structures and learning algorithms in state space searc.. (context) - Edelkamp - 1999
9 Partial order reduction in directed model checking (context) - Lluch-Lafuente, Leue et al. - 2002
9 Heuristic model checking for java programs - Groce, Visser - 2002
9 Systems and software verification: model-checking techniques.. (context) - Berard, Bidoit et al. - 2001
7 Recursive hashing functions for n-grams (context) - JD - 1997
7 Symmetric SPIN - Bosnacki, Dams et al. - 2000
6 A combined testing and verification approach for software re.. (context) - Sharygina, Peled - 2001
6 Generalized best-first strategies and the optimality (context) - Dechter, Pearl - 1985
5 Promela planning - Edelkamp - 2003
3 cient guiding towards cost-imality in uppaal (context) - Behrmann, Fehnker et al. - 2031
3 A new partial order reduction algorithm for concurrent syste.. - Nalumasu, Gopalakrishnan - 1997
3 Comibing partial order and symmetry reduction (context) - EA, Peled - 1997
3 Byte code distance heuristics and trail direction for model .. (context) - Edelkamp, Mehler - 2003
2 Construction of abstract state graphs of infinite systems wi.. (context) - Graf, Saidi - 1997
2 Symbolic model checking of software (context) - Lerda, Sinha et al. - 2003
1 From sympton to cause: Localizing errors in counterexample t.. (context) - Ball, Naik et al. - 2003
1 Study of ida*-style searches (context) - BW - 1995
1 Guiding and cost-imality in UPPAAL (context) - Behrmann, Fehnker et al. - 2001
Documents on the same site (http://www.inf.uni-konstanz.de/soft/publications_en.php): More
Partial Order Reduction in Directed Model Checking - Lluch-Lafuente, Edelkamp, Leue (2001) (Correct)
Four Issues Concerning the Semantics of Message Flow Graphs - Ladkin, Leue (1995) (Correct)
Syntactic Analysis of Message Sequence Chart Specifications - Ben-Abdallah, Leue (1996) (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