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
» QUOTIENT REFINEMENT METHOD
Quotient refinement method
wikipage
FaPAS
Submitted by akarns on Fri, 11/10/2017 - 4:01pm
Tool
Free
Matlab
Linux
Mac OS X
Windows
Piecewise Affine Systems
Finite simulation quotients
LTL formulae translations
LTL specifications
Polyhedral Representations and Overapproximations
Quotient refinement method
Guaranteed to terminate
Reachability analysis
