A Complete Bounded Model Checking Algorithm for Pushdown Systems

Схожие документы

• Proving safety with trace automata and bounded model checking
  по: Kroening, D, и др.
  Опубликовано: (2015)
• Completeness and Complexity of Bounded Model Checking
  по: Clarke, E, и др.
  Опубликовано: (2004)
• Saturation Methods for Global Model−Checking Pushdown Systems
  по: Hague, M
  Опубликовано: (2009)
• Saturation methods for global model-checking pushdown systems
  по: Hague, M
  Опубликовано: (2009)
• Linear Completeness Thresholds for Bounded Model Checking.
  по: Kroening, D, и др.
  Опубликовано: (2011)