scientific article; zbMATH DE number 1487862
From MaRDI portal
Publication:4494389
zbMath0957.68067MaRDI QIDQ4494389
Richard Trefler, E. Allen Emerson
Publication date: 10 August 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Context-aware counter abstraction ⋮ A lazy approach to symmetry reduction ⋮ Modeling and efficient verification of wireless ad hoc networks ⋮ Model and program repair via group actions ⋮ Multi-scale verification of distributed synchronisation ⋮ Vector Symmetry Reduction ⋮ On Hierarchical Communication Topologies in the $$\pi $$ -calculus ⋮ Combining symmetry reduction and under-approximation for symbolic model checking
Uses Software
This page was built for publication: