A Complete Bounded Model Checking Algorithm for Pushdown Systems

Παρόμοια τεκμήρια

• Saturation algorithms for model-checking pushdown systems
  ανά: Arnaud Carayol, κ.ά.
  Έκδοση: (2014-05-01)
• Proving safety with trace automata and bounded model checking
  ανά: Kroening, D, κ.ά.
  Έκδοση: (2015)
• Conformance Checking and Pushdown Reactive Systems
  ανά: Adilson Bonifacio, κ.ά.
  Έκδοση: (2023-03-01)
• Model Checking Probabilistic Pushdown Automata
  ανά: Javier Esparza, κ.ά.
  Έκδοση: (2006-03-01)
• Completeness and Complexity of Bounded Model Checking
  ανά: Clarke, E, κ.ά.
  Έκδοση: (2004)