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 / VorlesungPräsentation auf einer wissenschaftlichen Konferenz / Workshop

Zeitraum6 Juli 200510 Juli 2005
EreignistitelEuroPLoP'05
VeranstaltungstypKonferenz
BekanntheitsgradInternational

Research Field

  • Nicht definiert