On the Application of Counterexample−Guided Abstraction refinement and data independence to the parameterised model checking problem

Նմանատիպ նյութեր

• Counterexample Guided Abstraction Refinement via Program Execution
  ‌: Groce, A, և այլն
  Հրապարակվել է: (2004)
• VCEGAR: Verilog CounterExample Guided Abstraction Refinement
  ‌: Jain, H, և այլն
  Հրապարակվել է: (2007)
• Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
  ‌: Janota, M, և այլն
  Հրապարակվել է: (2010)
• Counterexample-guided abstraction refinement for symmetric concurrent programs
  ‌: Donaldson, A, և այլն
  Հրապարակվել է: (2012)
• Generating Counterexamples for Model Checking by Transformation
  ‌: G. W. Hamilton
  Հրապարակվել է: (2016-07-01)