FM 2005: Formal Methods
From MaRDI portal
Publication:5716898
DOI10.1007/b27882zbMath1120.68414MaRDI QIDQ5716898
Alastair F. Donaldson, Alice Ann Miller
Publication date: 10 January 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b27882
distributed systems; model checking; concurrency; symmetry reduction; communicating processes; formal modelling; Gap; Promela/Spin
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Vector Symmetry Reduction, An invariant-based approach to the verification of asynchronous parameterized networks, A lazy approach to symmetry reduction, Efficient approximate verification of B and Z models via symmetry markers, Symmetry and partial order reduction techniques in model checking Rebeca, An automatic abstraction technique for verifying featured, parameterised systems, On the constructive orbit problem, Automatic symmetry detection for Promela
Uses Software