HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata.

Ammar Mohammed Christian Schwarz

Published in: KI (2009)

Keyphrases

hybrid automata
finite state automata
formal verification
formal methods
graphical representation
learning algorithm
computational complexity
model checking
finite state machines
hierarchical structure
graphical display