Login / Signup

A Decade of Featured Transition Systems.

Maxime CordyXavier DevroeyAxel LegayGilles PerrouinAndreas ClassenPatrick HeymansPierre-Yves SchobbensJean-François Raskin
Published in: From Software Engineering to Formal Methods and Tools, and Back (2019)
Keyphrases
  • transition systems
  • model checking
  • concurrent systems
  • temporal logic
  • finite state
  • practical reasoning
  • control flow
  • reactive systems
  • model checker
  • distributed systems
  • formal methods