Publication:4494389
From MaRDI portal
zbMath0957.68067MaRDI QIDQ4494389
Richard Trefler, E. Allen Emerson
Publication date: 10 August 2000
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Vector Symmetry Reduction, Context-aware counter abstraction, A lazy approach to symmetry reduction, Combining symmetry reduction and under-approximation for symbolic model checking, Modeling and efficient verification of wireless ad hoc networks, Multi-scale verification of distributed synchronisation, On Hierarchical Communication Topologies in the $$\pi $$ -calculus
Uses Software