A. Valmari, On-the-fly verification with stubborn sets, LNCS 697, 1993, 397--408. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Partial-Order Methods for Temporal - Verification Pierre Wolper (Correct)
Graphe de pas couvrant préservant LTL_X LGPC - Ribet, al. (2003) (Correct)
Graphe de Pas Persistant - Ribet, Vernadat, Berthomieu (2002) (Correct)
A Constraint Oriented Proof Methodology based on Modal.. - Larson, al. (1994) (Correct)
On the Algebra of Systems With Boundary - Katis, Sabadini, Walters (Correct)
Implementing LTL Model Checking with Net Unfoldings - Esparza, Heljanko (2001) (3 citations) (Correct)
On the Algebra of Feedback and Systems With Boundary - Katis, Sabadini, Walters (1998) (Correct)
Partial-order verification in SPIN can be more efficient - van der Schoot (1997) (Correct)
Towards Scalable Compositional Analysis - James Corbett And (1994) (7 citations) (Correct)
On the Costs and Benefits of using Partial-Order Methods for the .. - Godefroid (1997) (5 citations) (Correct)
Partial Order Reductions for Timed Systems - Bengtsson, Jonsson, Lilius, Yi (1998) (30 citations) (Correct)
Using Partial-Order Methods in the Formal Validation.. - Godefroid, Peled.. (1996) (14 citations) (Correct)
A New Unfolding Approach to LTL Model Checking - Esparza, Heljanko (2000) (5 citations) (Correct)
An Improved Search Strategy for Lossy Channel Systems - Abdulla, Kindahl, Peled (1997) (4 citations) (Correct)
Compositional Minimisation of Finite State Systems Using.. - Graf, Steffen, Lüttgen (1995) (8 citations) (Correct)
Compositional Minimisation of Finite State Systems Using.. - Graf, Steffen, Lüttgen (1996) (8 citations) (Correct)
On Stubborn Sets in the Verification of Linear Time Temporal.. - Varpaaniemi (Correct)
On the Stubborn Set Method in Reduced State Space Generation - Varpaaniemi (1998) (3 citations) (Correct)
Efficient Detection of Deadlocks in Petri Nets - Varpaaniemi (1993) (Correct)
Generalized Reversible Rules - Ip (1998) (Correct)
Space Efficient Reachability Analysis Through Use of.. - Parashkevov, Yantchev (1997) (1 citation) (Correct)
Model Checking of Safety Properties - Kupferman, Vardi (1999) (44 citations) (Correct)
Model Checking of Safety Properties - Kupferman, Vardi (1999) (44 citations) (Correct)
A Constraint Oriented Proof Methodology Based on Modal.. - Larsen, Steffen, Weise (1995) (14 citations) (Correct)
Translation between S/R and Promela - Nalumasu (1995) (Correct)
Using Asynchronous Buchi Automata for Efficient Automatic.. - Peled, Penczek (6 citations) (Correct)
Compositional Minimisation of Finite State Systems.. - Graf, Steffen.. (1996) (8 citations) (Correct)
Partial Order Reductions for Timed Systems - Bengtsson, Jonsson, Lilius, Yi (1998) (30 citations) (Correct)
On the Algebra of Feedback and Systems With Boundary - Katis, Sabadini, Walters (1998) (Correct)
A uniform approach to tackle state explosion in verifying.. - van der Schoot, Ural (1996) (Correct)
State Reduction Methods For Automatic Formal Verification - Ip (1996) (8 citations) (Correct)
Finite Model Checking and Beyond - Steffen (1994) (1 citation) (Correct)
Towards Scalable Compositional Analysis - Corbett, Avrunin (1994) (7 citations) (Correct)
Reachable state space analysis of LOTOS specifications - Kerbrat (1994) (3 citations) (Correct)
Compositional Minimisation of Finite State Systems Using.. - Graf, Steffen, Lüttgern (1996) (8 citations) (Correct)
Hiding Memory Elements in Induced Hierarchical Verification .. - Vakilotojar, Beerel (1998) (2 citations) (Correct)
A General Approach to Partial Order Reductions in.. - Abdulla, Jonsson.. (1998) (4 citations) (Correct)
Using Asynchronous Buchi Automata for Efficient Automatic - Verification Of Concurrent (Correct)
Implementing LTL Model Checking with Net Unfoldings - Esparza, Heljanko (2001) (3 citations) (Correct)
LTL Model Checking for Modular Petri Nets - Latvala, Mäkelä (2004) (Correct)
Implementing LTL Model Checking with Net Unfoldings - Esparza, Heljanko (2001) (3 citations) (Correct)
A New Unfolding Approach to LTL Model Checking - Esparza, Heljanko (2000) (5 citations) (Correct)
Implementing LTL Model Checking with Net Unfoldings - Esparza, Heljanko (2002) (3 citations) (Correct)
Partial Order Reduction without the Proviso - Nalumasu, Gopalakrishnan (1996) (Correct)
Domain-Specific Optimization in Automata Learning - Hungar, Niese, Steffen (2003) (2 citations) (Correct)
Partial Order Reduction without the Proviso - Nalumasu, Gopalakrishnan (1996) (Correct)
A Partial Order Reduction Algorithm without the Proviso - Nalumasu, Gopalakrishnan (1998) (Correct)
Partial-order verification in SPIN can be more efficient - van der Schoot (1997) (Correct)
Fluent Model Checking for Event-based Systems - Giannakopoulou, Magee (2003) (1 citation) (Correct)
Model Checking in Span(Graph) - Gates, Katis, Sabadini, Walters (2000) (Correct)
First 50 documents Next 50
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