Counterexample Guided Abstraction Refinement via Program Execution

Geahča maid

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