TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 5.

Mürk, Oleg and Larsson, Daniel and Hähnle, Reiner
Tews, Hendrik (ed.) (2007):
Deductive Verifiction of C Programs with KeY-C.
In: Proc. {C/C++} Verification Workshop, colocated with Integrated Formal Methods (IFM), Oxford, UK, [Conference or Workshop Item]

Mürk, Oleg and Larsson, Daniel and Hähnle, Reiner
Pfenning, Frank (ed.) (2007):
KeY-C: A Tool for Verification of C Programs.
In: Proc. 21st Conference on Automated Deduction (CADE), Bremen, Germany, Springer-Verlag, In: LNCS, 4603, [Conference or Workshop Item]

Larsson, Daniel and Hähnle, Reiner
Beckert, Bernhard (ed.) (2007):
Symbolic Fault Injection.
In: Proc. 4th International Verification Workshop (Verify) in connection with CADE-21 Bremen, Germany, CEUR Workshop Proceedings, 259, [Conference or Workshop Item]

Larsson, Daniel and Hähnle, Reiner (2006):
Symbolic Fault Injection.
(2006-17), ISBN 1650-3023,
[Report]

Giese, Martin and Hähnle, Reiner and Larsson, Daniel (2004):
Rule-Based Simplification of OCL Constraints.
In: UML 2004 workshop on OCL and Model Driven Engineering, [Conference or Workshop Item]

This list was generated on Tue Jun 18 02:25:00 2019 CEST.