A Complete Bounded Model Checking Algorithm for Pushdown Systems

Benzer Materyaller

• Saturation algorithms for model-checking pushdown systems
  Yazar:: Arnaud Carayol, ve diğerleri
  Baskı/Yayın Bilgisi: (2014-05-01)
• Proving safety with trace automata and bounded model checking
  Yazar:: Kroening, D, ve diğerleri
  Baskı/Yayın Bilgisi: (2015)
• Conformance Checking and Pushdown Reactive Systems
  Yazar:: Adilson Bonifacio, ve diğerleri
  Baskı/Yayın Bilgisi: (2023-03-01)
• Model Checking Probabilistic Pushdown Automata
  Yazar:: Javier Esparza, ve diğerleri
  Baskı/Yayın Bilgisi: (2006-03-01)
• Completeness and Complexity of Bounded Model Checking
  Yazar:: Clarke, E, ve diğerleri
  Baskı/Yayın Bilgisi: (2004)