Tools
Subproject 
Tool 

R1

Core algorithms 

Model checker for hard & soft realtime systems 

Core algorithms 

Graphical specification tools 

R2

Model checker for hard & soft realtime systems 

Realtime analysis methods for hardware architectures 

Realtime analysis methods for hardware architectures 

Model checker for hard & soft realtime systems 

R3 
Model checker for hard & soft realtime systems 

S1

Data structures for symbolic state representation 

Core algorithms 

Systems of systems / blackbox tools 

Core algorithms, Model reduction 

Model checker for hard & soft realtime systems 

Core algorithms 

Systems of systems / blackbox tools 

Core algorithms, Model reduction 

Core algorithms 

Core algorithms 

Core algorithms 

Model reduction 

Synthesis tools, Model checker for hard & soft realtime systems 

Model checker for hard & soft realtime systems 

Systems of systems / blackbox tools, Model checker for hard & soft realtime systems 

Synthesis tools 

S2

Model reduction 

Systems of systems / blackbox tools 

Model reduction 

Model reduction 

Model reduction 

Model reduction 

Model checker for hard & soft realtime systems, Model checker / solver for probabilistic systems 

Model reduction 

Model checker / solver for probabilistic systems 

Model reduction 

Core algorithms, Model checker / solver for hybrid systems, Theorem prover for hybrid systems 

Model reduction, Model checker / solver for probabilistic systems, Theorem prover for hybrid systems 

S3

Systems of systems / blackbox tools, Model checker / solver for probabilistic systems 

Model reduction, Model checker / solver for probabilistic systems 

Core algorithms 

Model checker / solver for probabilistic systems 

Model checker for hard & soft realtime systems, Model checker / solver for probabilistic systems 

Model checker / solver for probabilistic systems 

Model reduction, Model checker / solver for probabilistic systems 

Model checker for hard & soft realtime systems, Model checker / solver for probabilistic systems 

Model checker for hard & soft realtime systems, Model checker / solver for probabilistic systems 

Model checker / solver for probabilistic systems 

Model checker for hard & soft realtime systems, Model checker / solver for probabilistic systems, Model checker / solver for hybrid systems 

Model reduction 

Model checker / solver for probabilistic systems 

H1/2

Core algorithms 

Systems of systems / blackbox tools 

Core algorithms 

Model checker / solver for hybrid systems 

Core algorithms, Model checker / solver for hybrid systems 

Core algorithms, Model checker / solver for hybrid systems 

Core algorithms, Model checker / solver for hybrid systems 

Core algorithms, Model checker / solver for hybrid systems 

Core algorithms, Model checker / solver for hybrid systems 

Core algorithms, Model checker / solver for hybrid systems 

Core algorithms 

Core algorithms 

Core algorithms, Model checker / solver for probabilistic systems, Model checker / solver for hybrid systems 

Core algorithms, Model checker / solver for hybrid systems, Theorem prover for hybrid systems 

Core algorithms, Model checker / solver for hybrid systems, Theorem prover for hybrid systems 

H3

Model checker / solver for hybrid systems 

Core algorithms 

Theorem prover for hybrid systems 

Data structures for symbolic state representation 

H4 
Model checker for hard & soft realtime systems, Model checker / solver for probabilistic systems 

Model checker / solver for hybrid systems 