Publication:4738472
From MaRDI portal
zbMath1077.68693MaRDI QIDQ4738472
Stefan Edelkamp, Stefan Leue, Alberto Lluch Lafuente
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2318/23180112.htm
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Translating Java for multiple model checkers: The Bandera back-end, \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes, Question-guided stubborn set methods for state properties, 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, Using heuristic search for finding deadlocks in concurrent systems, Directed Model Checking for B: An Evaluation and New Techniques, Producing Short Counterexamples Using “Crucial Events”, Survey on Directed Model Checking