„compositional verification“
Suchergebnisse
54 Treffer
-
Automatic symbolic compositional verification by learning assumptions
-
Automated assumption generation for compositional verification
-
Compositional verification of concurrent systems by combining bisimulations
-
Compositional verification of a lock-free stack with RGITL
-
On the computation of counterexamples in compositional nonblocking verification
-
Compositional verification of asynchronous concurrent systems using CADP
-
Toward Compositional Verification of Interruptible OS Kernels and Device Drivers
-
Compositional stability verification of hybrid systems
-
Compositional Verification of Concurrent and Real-Time Systems
-
Compositional design and verification of component-based information systems
-
Decomposition for compositional verification
-
A framework for compositional nonblocking verification of extended finite-state machines
-
An environment for compositional specification verification of complex embedded systems
-
A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems