Auflistung Nach Schlagwort "Software Verification" - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Anzeige der Dokumente 1-4 von 4

«
»

Combining Verifiers in Conditional Model Checking via Reducers

Beyer, Dirk; Jakobs, Marie-Christine; Lemberger, Thomas; Wehrheim, Heike
151-152
CoVEGI: Cooperative Verification via Externally Generated Invariants

Haltermann, Jan; Wehrheim, Heike
41-42
Data-Driven Design and Evaluation of SMT Meta-Solving Strategies

Mues, Malte; Howar, Falk
75-76
Model-in-the-Loop and Software-in-the-Loop Testing of Closed-Loop Automotive Software with Arttest

Hansen, Norman; Wiechowski, Norbert; Kugler, Alexander; Kowalewski, Stefan; Rambow, Thomas; Busch, Rainer
1537-1549

Anzeige der Dokumente 1-4 von 4

«
»