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 / VorlesungVortrag ohne Tagungsband

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

Research Field

  • Nicht definiert