Login / Signup

Munta: A Verified Model Checker for Timed Automata.

Simon Wimmer
Published in: FORMATS (2019)
Keyphrases
  • model checking
  • timed automata
  • model checker
  • temporal logic
  • reachability analysis
  • formal verification
  • symbolic model checking
  • formal specification
  • formal methods
  • fuzzy logic
  • object oriented
  • search strategies