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
» LINEAR PROGRAMMING PROBLEMS
Linear programming problems
wikipage
COHO-Model
Submitted by akarns on Mon, 11/20/2017 - 3:32pm
Tool
Free
Matlab
Linux
Mac OS X
Windows
Circuits
Linear differential inclusions
Linear programming problems
Polyhedra representations and operations
Projectagon representation method
Slicing
Guaranteed to terminate
Model checking
Modeling
Synthesis
wikipage
SAPO
Submitted by akarns on Mon, 11/20/2017 - 3: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
