Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/b107194zbMath1087.68587OpenAlexW2497867240MaRDI QIDQ5703773

Thomas Wahl, E. Allen Emerson

Publication date: 10 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b107194

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Families of Symmetries as Efficient Models of Resource Binding, Context-aware counter abstraction, ExplicitPRISMSymm: Symmetry Reduction Technique for Explicit Models in PRISM, Model and program repair via group actions, Checking extended CTL properties using guarded quotient structures, Vector Symmetry Reduction, Extending Symmetry Reduction Techniques to a Realistic Model of Computation, On the constructive orbit problem