Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems

Doctoral thesis English OPEN
Timm, Nils (2013)

Diese Arbeit präsentiert ein abstraktionsverfeinerungsbasiertes Verifikationsframework für nebenläufige Systeme. Zur Abstraktion verwenden wir eine Kombination aus Prädikatabstraktion und Spotlightabstraktion. Dadurch werden zwei der Hauptursachen der Zustandskomplexitä... View more
Share - Bookmark