Counterexample−guided Precondition Inference

Míreanna comhchosúla

• Counterexample-guided precondition inference
  de réir: Seghir, M, et al.
  Foilsithe / Cruthaithe: (2013)
• Counterexample Guided Abstraction Refinement via Program Execution
  de réir: Groce, A, et al.
  Foilsithe / Cruthaithe: (2004)
• Counterexample guided inductive synthesis modulo theories
  de réir: Abate, A, et al.
  Foilsithe / Cruthaithe: (2018)
• 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)