S

SAT-Reach

Project information

Bounded verification tool for hybrid systems with piecewise affine, non-deterministics dynamics. It can generate a counterexample as a proof of safety violation.

134 Commits
3 Branches
0 Tags

README

Created on

November 22, 2021

Loading