Browsing by Author "Lemberger, Thomas"
Now showing items 1-2 of 2
-
Combining Verifiers in Conditional Model Checking via Reducers
Beyer, Dirk; Jakobs, Marie-Christine; Lemberger, Thomas; Wehrheim, Heike
151-152 -
Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components
Beyer, Dirk; Haltermann, Jan; Lemberger, Thomas; Wehrheim, Heike
37-38