scientific article; zbMATH DE number 1746648
From MaRDI portal
Publication:4530808
zbMATH Open0986.68521MaRDI QIDQ4530808FDOQ4530808
Stefan Edelkamp, Alberto Lluch Lafuente, Stefan Leue
Publication date: 17 June 2002
Title of this publication is not available (Why is that?)
Recommendations
Cited In (24)
- Distributed breadth-first search LTL model checking
- Star-Topology Decoupling in SPIN
- Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models
- Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols
- Formal Verification of Concurrent Systems via Directed Model Checking
- Model Checking Software
- Abstract reduction in directed model checking CCS processes
- A local search approach to protocol verification
- Fast Directed Model Checking Via Russian Doll Abstraction
- \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes
- Producing Short Counterexamples Using “Crucial Events”
- Automata-driven partial order reduction and guided search for LTL model checking
- The Causal Graph Revisited for Directed Model Checking
- Testing restorable systems: formal definition and heuristic solution based on river formation dynamics
- On the order of test goals in specification-based testing
- Using heuristic search for finding deadlocks in concurrent systems
- Directed Unfolding of Petri Nets
- On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties
- Extended beam search for non-exhaustive state space analysis
- Transition-Based Directed Model Checking
- More efficient on-the-fly LTL verification with Tarjan's algorithm
- Translating Java for multiple model checkers: The Bandera back-end
- Formal Verification Based on Guided Random Walks
- Model Checking Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4530808)
