Login / Signup

From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL.

Aleksandar S. DimovskiAndrzej Wasowski
Published in: Models, Algorithms, Logics and Tools (2017)
Keyphrases
  • model checking
  • transition systems
  • temporal logic
  • model checker
  • reactive systems
  • concurrent systems
  • finite state
  • timed automata
  • formal verification
  • formal specification
  • formal methods
  • distributed systems