Counter-Example Driven Abstraction Refinement - A Pattern for Formal Verification of Properties of Large Systems

  • Georg Weissenbacher (Autor)
  • Wolfgang Herzner (Autor)

Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

Zeitraum6 Juli 2005 → 10 Juli 2005
EreignistitelEuroPLoP'05
VeranstaltungstypKonferenz
BekanntheitsgradInternational

Research Field

  • Nicht definiert