Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription

Geahča maid

• VCEGAR: Verilog CounterExample Guided Abstraction Refinement
  Dahkki: Jain, H, et al.
  Almmustuhtton: (2007)
• Counterexample-guided abstraction refinement for symmetric concurrent programs
  Dahkki: Donaldson, A, et al.
  Almmustuhtton: (2012)
• Counterexample Guided Abstraction Refinement via Program Execution
  Dahkki: Groce, A, et al.
  Almmustuhtton: (2004)
• Complexity of propositional nested circumscription and nested abnormality theories
  Dahkki: Cadoli, M, et al.
  Almmustuhtton: (2005)
• On the Application of Counterexample−Guided Abstraction refinement and data independence to the parameterised model checking problem
  Dahkki: Lowe, G
  Almmustuhtton: (2004)