Auflistung nach Autor "Haltermann, Jan"
Anzeige der Dokumente 1-3 von 3
-
Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components
Beyer, Dirk; Haltermann, Jan; Lemberger, Thomas; Wehrheim, Heike
37-38 -
CoVEGI: Cooperative Verification via Externally Generated Invariants
Haltermann, Jan; Wehrheim, Heike
41-42 -
Variable Misuse Detection: Software Developers versus Neural Bug Detectors
Richter, Cedric; Haltermann, Jan; Jakobs, Marie-Christine; Pauck, Felix; Schott, Stefan; Wehrheim, Heike
103-104