scientific article; zbMATH DE number 1746648
From MaRDI portal
Publication:4530808
zbMath0986.68521MaRDI QIDQ4530808
Stefan Edelkamp, Alberto Lluch Lafuente, Stefan Leue
Publication date: 17 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (21)
Star-Topology Decoupling in SPIN ⋮ Automata-driven partial order reduction and guided search for LTL model checking ⋮ \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes ⋮ Producing Short Counterexamples Using “Crucial Events” ⋮ Distributed breadth-first search LTL model checking ⋮ 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 ⋮ Testing restorable systems: formal definition and heuristic solution based on river formation dynamics ⋮ 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 ⋮ On the order of test goals in specification-based testing ⋮ Abstract reduction in directed model checking CCS processes ⋮ Directed Unfolding of Petri Nets ⋮ Formal Verification Based on Guided Random Walks ⋮ Transition-Based Directed Model Checking ⋮ Fast Directed Model Checking Via Russian Doll Abstraction ⋮ The Causal Graph Revisited for Directed Model Checking ⋮ Using heuristic search for finding deadlocks in concurrent systems ⋮ More efficient on-the-fly LTL verification with Tarjan's algorithm ⋮ Translating Java for multiple model checkers: The Bandera back-end
This page was built for publication:
