TU Darmstadt / ULB / TUbiblio

A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY

Albert, Elvira and Bubel, Richard and Genaim, Samir and Hähnle, Reiner and Puebla, German and Roman-Diez, Guillermo (2016):
A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY.
15, In: Software and System Modeling, (4), pp. 987-1012, DOI: 10.1007/s10270-015-0476-y,
[Online-Edition: https://doi.org/10.1007/s10270-015-0476-y],
[Article]

Item Type: Article
Erschienen: 2016
Creators: Albert, Elvira and Bubel, Richard and Genaim, Samir and Hähnle, Reiner and Puebla, German and Roman-Diez, Guillermo
Title: A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY
Language: German
Journal or Publication Title: Software and System Modeling
Volume: 15
Number: 4
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 27 Apr 2018 09:59
DOI: 10.1007/s10270-015-0476-y
Official URL: https://doi.org/10.1007/s10270-015-0476-y
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item