A Complete Bounded Model Checking Algorithm for Pushdown Systems

Míreanna comhchosúla

• Saturation algorithms for model-checking pushdown systems
  de réir: Arnaud Carayol, et al.
  Foilsithe / Cruthaithe: (2014-05-01)
• Proving safety with trace automata and bounded model checking
  de réir: Kroening, D, et al.
  Foilsithe / Cruthaithe: (2015)
• Conformance Checking and Pushdown Reactive Systems
  de réir: Adilson Bonifacio, et al.
  Foilsithe / Cruthaithe: (2023-03-01)
• Model Checking Probabilistic Pushdown Automata
  de réir: Javier Esparza, et al.
  Foilsithe / Cruthaithe: (2006-03-01)
• Completeness and Complexity of Bounded Model Checking
  de réir: Clarke, E, et al.
  Foilsithe / Cruthaithe: (2004)