Auflistung nach Autor "Beyer, Dirk"
Anzeige der Dokumente 1-9 von 9
-
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 -
Cooperative Test-Case Generation with Verifiers
Beyer, Dirk; Jakobs, Marie-Christine
107--108 -
Exchanging Verification Witnesses between Verifiers
Beyer, Dirk; Dangl, Matthias; Dietsch, Daniel; Heizmann, Matthias
93 -
Interpolation for value analysis
Beyer, Dirk; Löwe, Stefan
73-74 -
On facilitating reuse in multi-goal test-suite generation for software product lines
Lochau, Malte; Bürdek, Johannes; Bauregger, Stefan; Holzer, Andreas; Rhein, Alexander Von; Apel, Sven; Beyer, Dirk
81-82 -
Precision reuse in CPAchecker
Beyer, Dirk; Löwe, Stefan; Novikov, Evgeny; Stahlbauer, Andreas; Wendler, Philipp
41-42 -
Reusing information in multi-goal reachability analyses
Beyer, Dirk; Holzer, Andreas; Tautschnig, Michael; Veith, Helmut
97-98 -
Verification Witnesses
Beyer, Dirk; Dangl, Matthias; Dietsch, Daniel; Heizmann, Matthias; Stahlbauer, Andreas
105-106