An offline analyzer that over-approximates reachable states of piecewise-linear hybrid systems and returns safety certificates or uncertainty regions.
local-first certificate-viewer formal-methods-verification hybrid-automaton-parser set-representation-kernel flowpipe-propagator guard-and-reset-engine
-
Updated
Sep 18, 2026 - Python