Directed Model Checking with Distance−Preserving Abstractions
Main Authors: | Dräger, K, Finkbeiner, B, Podelski, A |
---|---|
Format: | Conference item |
Published: |
Springer−Verlag
2006
|
Similar Items
-
Directed model checking with distance−preserving abstractions
by: Dräger, K, et al.
Published: (2009) -
Uppaal/DMC – Abstraction−based Heuristics for Directed Model Checking
by: Kupferschmid, S, et al.
Published: (2007) -
Slicing Abstractions
by: Brückner, I, et al.
Published: (2008) -
Slicing Abstractions
by: Brückner, I, et al.
Published: (2007) -
ACSAR: Software Model Checking with Transfinite Refinement
by: Seghir, M, et al.
Published: (2007)