Login / Signup

Formal Verification of Railway Timetables - Using the UPPAAL Model Checker.

Anne E. HaxthausenKristian Hede
Published in: From Software Engineering to Formal Methods and Tools, and Back (2019)
Keyphrases
  • model checker
  • formal verification
  • model checking
  • symbolic model checking
  • automated verification
  • temporal logic
  • transition systems
  • multi agent systems
  • training set
  • formal methods