Projects

• Ticc, a tool for modeling and verifying open systems.
• PHAVer+, a tool for controller synthesis for Linear Hybrid Automata, based on PHAVer.