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
» REACHABILITY ANALYSIS
Reachability analysis
wikipage
CADP
Submitted by hgaravel on Thu, 08/16/2018 - 7:29pm
Validation and Verification
Tool
Contact the author
Free
C++
Own interface
Own language
Linux
Mac OS X
Solaris
Windows
Circuits
Continuous-time Markov chains
Discrete-Time Systems
Nested-Unit Petri nets
Network of timed automata
Process calculus language: FSP
Process calculus language: LNT
Process calculus language: LOTOS
Abstractions
Bisimulation minimization
Boolean Equation Systems
Branching-Time Temporal Logics
Breadth First Search Analysis
Compositional verification
Depth-first Search Algorithms
Description/Modeling Language
Distributed model checking
Labelled Transition Systems
Mu-Calculus
On-the-fly model checking
Parallel Composition
Parameterized Boolean Equation Systems
Probabilities on paths
Value-passing Mu-Calculus
Guaranteed to terminate
Not guaranteed to terminate
Bisimulation generation
Description/modeling language
Model checking
Modeling
Probabilistic model checking
Reachability analysis
Simulation
Statistical model checking
Visual checking
wikipage
COHO-Reach
Submitted by akarns on Mon, 11/20/2017 - 3:33pm
Tool
Free
Matlab
Linux
Mac OS X
Windows
Circuits
Nonlinear control systems
Nonlinear hybrid systems
Linear differential inclusions
Projectagon representation method
Slicing
Guaranteed to terminate
Reachability analysis
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
wikipage
RAMAS
Submitted by akarns on Fri, 11/10/2017 - 3:14pm
Tool
Free
Matlab
Linux
Mac OS X
Windows
Multi-affine systems
Abstractions
Polyhedral Representations and Overapproximations
Polytope based refinement
Guaranteed to terminate
Reachability analysis
wikipage
FaPAS
Submitted by akarns on Fri, 11/10/2017 - 3: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
wikipage
CORA
Submitted by jkenanian on Tue, 06/27/2017 - 3:20pm
Validation and Verification
Tool
Matlab
Linux
Mac OS X
Windows
Linear Hybrid Systems
Linear Systems
Nondeterministic continuous and hybrid systems
Nonlinear hybrid systems
Nonlinear Nondeterministic Hybrid Systems
Nonlinear perturbed control systems
Nonlinear systems
Reachability analysis
wikipage
dReach/dReal
Submitted by jkenanian on Tue, 05/23/2017 - 7:34pm
Validation and Verification
Tool
Free
Piecewise affine hybrid systems
Nonlinear systems
Nonlinear hybrid systems
Linear Systems
Linear Hybrid Systems
Hybrid systems with piecewise constant bounds on the derivatives
Guaranteed to terminate
Reachability analysis
wikipage
TREX
Submitted by jkenanian on Tue, 05/23/2017 - 7:06pm
Validation and Verification
Tool
Free
Timed Automata
Reachability analysis
wikipage
XSpeed
Submitted by jkenanian on Tue, 05/23/2017 - 7:04pm
Validation and Verification
Tool
Free
Linux
Linear Hybrid Systems
Linear hybrid systems with nondeterministic input
Linear Systems
Guaranteed to terminate
Reachability analysis
wikipage
NL Toolbox
Submitted by jkenanian on Tue, 05/23/2017 - 6:45pm
Validation and Verification
Tool
Free
Matlab
Own interface
Linux
Nonlinear systems
Reachability analysis
1
2
next ›
last »
