Counterexample Guided Abstraction Refinement via Program Execution

Míreanna comhchosúla

• Counterexample-guided abstraction refinement for symmetric concurrent programs
  de réir: Donaldson, A, et al.
  Foilsithe / Cruthaithe: (2012)
• VCEGAR: Verilog CounterExample Guided Abstraction Refinement
  de réir: Jain, H, et al.
  Foilsithe / Cruthaithe: (2007)
• Making the most of BMC counterexamples
  de réir: Groce, A, et al.
  Foilsithe / Cruthaithe: (2005)
• Making the Most of BMC Counterexamples
  de réir: Groce, A, et al.
  Foilsithe / Cruthaithe: (2005)
• Understanding Counterexamples with explain
  de réir: Groce, A, et al.
  Foilsithe / Cruthaithe: (2004)