scientific article; zbMATH DE number 2087625
From MaRDI portal
Publication:4738472
zbMath1077.68693MaRDI QIDQ4738472
Alberto Lluch Lafuente, Stefan Edelkamp, Stefan Leue
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2318/23180112.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
\(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes ⋮ Question-guided stubborn set methods for state properties ⋮ Finding and fixing faults ⋮ Producing Short Counterexamples Using “Crucial Events” ⋮ Directed Model Checking for B: An Evaluation and New Techniques ⋮ Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models ⋮ Observations in using parallel and sequential evolutionary algorithms for automatic software testing ⋮ Survey on Directed Model Checking ⋮ Using heuristic search for finding deadlocks in concurrent systems ⋮ Translating Java for multiple model checkers: The Bandera back-end
This page was built for publication:
