Login / Signup

A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence.

Gabriel de Albuquerque GleizerKhushraj MadnaniManuel Mazo Jr.
Published in: HSCC (2022)
Keyphrases
  • transition systems
  • model checking
  • concurrent systems
  • temporal logic
  • finite state
  • case study