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 › Vortrag ohne Tagungsband

Zeitraum6 Juli 2005 → 10 Juli 2005
EreignistitelEuroPLoP'05
VeranstaltungstypKonferenz
Bekanntheitsgrad - verpflichtend einzutragen!International

Research Field

  • Nicht definiert