Available Tools
Hybrid Chi
[1] Chi2HA translator: The tool Chi2HA translates (a subset of) hybrid Chi specifications into hybrid automata with urgency that can be verified directly by the model checker PHAVer.
[2] Hybrid Chi Python simulator: A symbolic simulator for hybrid Chi specifications.
HyPA
[1] HyPA linearisation tool: A number of HyPA specifications can be linearised using this tool.
[2] HyPA simulator: A simulator for HyPA specifications.
BHPC
[1] BHAVE: BHAVE prototype is a prototype of BHPC simulation tool.
Timed Chi
[1] Timed Chi C simulator: A simulator for timed Chi specifications.
[2] Translators: Translators from timed Chi to mCRL, Promela and timed automata.
Links:
Collaborators:
Maintained by K.L. Man