Slicing Abstractions

Eitemau Tebyg

• Slicing Abstractions
  gan: Brückner, I, et al.
  Cyhoeddwyd: (2008)
• Directed Model Checking with Distance−Preserving Abstractions
  gan: Dräger, K, et al.
  Cyhoeddwyd: (2006)
• Directed model checking with distance−preserving abstractions
  gan: Dräger, K, et al.
  Cyhoeddwyd: (2009)
• SLAB: A Certifying Model Checker for Infinite−State Concurrent Systems
  gan: Dräger, K, et al.
  Cyhoeddwyd: (2010)
• Uppaal/DMC – Abstraction−based Heuristics for Directed Model Checking
  gan: Kupferschmid, S, et al.
  Cyhoeddwyd: (2007)