Statische Programmanalyse: Abstract Interpretation 6 (Di, 10.01.2017)
  • Einbetten

Beschreibung:

Counterexample-Guided Abstraction Refinement
(CEGAR)