Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Verification Tool Library
Home
README
Search for Tools
Browse Tool Library
Members
Tutorials
Tutorial - SpaceEx
Files
CPS-VO
»
CPS Tools and Design Studios
»
Verification Tool Library
» PARAMETER SYNTHESIS
Parameter synthesis
wikipage
SAPO
Submitted by akarns on Mon, 11/20/2017 - 4:05pm
Tool
Free
C++
Linux
Discrete-time polynomial systems
Flowpipe overapproximations
Linear programming problems
STL formalizations and computations
Symbolic manipulation of polynomials
Guaranteed to terminate
Parameter synthesis
Reachability analysis
