SLAB: A Certifying Model Checker for Infinite−State Concurrent Systems
Main Authors: | Dräger, K, Kupriyanov, A, Finkbeiner, B, Wehrheim, H |
---|---|
Format: | Conference item |
Published: |
Springer−Verlag
2010
|
Similar Items
-
INFAMY: An Infinite−State Markov Model Checker
by: Hahn, E, et al.
Published: (2009) -
Slicing Abstractions
by: Brückner, I, et al.
Published: (2008) -
Slicing Abstractions
by: Brückner, I, et al.
Published: (2007) -
Testing and concurrent checking for plas and related checker design issues / [mikrofilem]
by: 400971 Khakbaz, Javad -
DICER 2.0: A New Model Checker for Data-Flow Errors of Concurrent Software Systems
by: Dongming Xiang, et al.
Published: (2021-04-01)