Sign in
A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence.
Gabriel de Albuquerque Gleizer
Khushraj Madnani
Manuel Mazo Jr.
Published in:
HSCC (2022)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
case study