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
» COMPOSITIONAL VERIFICATION
Compositional verification
wikipage
CADP
Submitted by hgaravel on Thu, 08/16/2018 - 8: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
KeYmaera X
Submitted by Andre Platzer on Tue, 02/28/2017 - 6:09pm
Validation and Verification
Tool
Free
Own interface
Own language
Linux
Mac OS X
Windows
(Event-triggered) polynomial hybrid systems
Compositional verification
Differential dynamic logic
Not guaranteed to terminate
Theorem proving
wikipage
KeYmaera
Submitted by Andre Platzer on Tue, 02/28/2017 - 6:07pm
Validation and Verification
Tool
Free
Own interface
Own language
Linux
Mac OS X
Windows
(Event-triggered) polynomial hybrid systems
Distributed polynomial hybrid systems
Compositional verification
Differential dynamic logic
Not guaranteed to terminate
Theorem proving
