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]
Official URL: https://doi.org/10.1007/s10270-015-0476-y
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 |
Options (only for editors)
![]() |
View Item |