PHAVer+
PHAVer+ is a tool for solving the controllability problem of Linear Hybrid Automata.
Main paper (technical report)
PHAVer+ executable (17MB, requires libppl 6)
Tests for safety
Tests for reachability