Related tools

Name	Techniques	Refs
Ariadne	hybrid automata, interval verified integration, constraint solving	[BBC+ 08]
CHARON	composed agents and modes, simulation	[AGH+00, ADE+01]
CheckMate	hybrid automata, convex polyhedron-based flowpipe construction	[CK98, SRKC00]
C2E2
CORA
CORA/SX
d/dt	hybrid automata, orthogonal polyhedron-based flowpipe construction	[ADM02, Dan00]
dReach	hybrid automata, interval verified integration, constraint solving	[Gao12, GKC13]
DynIbex
Ellipsoidal Toolbox	hybrid automaton with linear time-varying continuous dynamics, Ellipsoidal calculus	[KV06]
Flow*
Flowpipes.jl		https://github.com/fireofearth/2019s-verification
HyDRA
Hylaa
Hylaa-Continuous
HyST	A Source Transformation and Translation Tool for Hybrid Automaton Models
HySAT/iSAT	hybrid automata, interval verified integration, constraint solving	[FHT+07, FH07]
Isabelle/HOL
HSolver	hybrid automata	conservative abstraction, constraint solving
HYSDEL	discrete hybrid automata, simulation	[Bem04, Kva08]
HyTech	hybrid automata, conservative abstraction, polyhedral computation	[HHWT95, HHWT97]
KeYmaera	hybrid programs, automated theorem proving	[PQ08, Pla10]
Level set toolbox	hybrid automata, level set method	[MT00, MT05]
MATISSE	constrained linear systems, bisimulation abstraction, zonotope computation	[GP05]
NLTOOLBOX	continuous systems, discrete polynomial systems,hybridization, Bernstein polynomial technique	[ADG07, TD13]
PHAVer	hybrid automata, conservative abstraction, polyhedral computation	[Fre05a, Fre05b]
SpaceEx	hybrid automata with linear dynamics, support function-based flowpipe construction	[Le 09, FLD+11]
SymReach
TIRA		https://arxiv.org/pdf/1902.05204.pdf
XSpeed