Directed model checking with distance−preserving abstractions
Main Authors: | Dräger, K, Finkbeiner, B, Podelski, A |
---|---|
Format: | Journal article |
Published: |
2009
|
Similar Items
-
Directed Model Checking with Distance−Preserving Abstractions
by: Dräger, K, et al.
Published: (2006) -
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)