Static Analysis of Dynamic Properties - Automatic Program Verification to Prove the Absence of Dynamic Runtime Errors
| dc.contributor.author | Wissing, Klaus | |
| dc.contributor.editor | Herzog, Otthein | |
| dc.contributor.editor | Rödiger, Karl-Heinz | |
| dc.contributor.editor | Ronthaler, Marc | |
| dc.contributor.editor | Koschke, Rainer | |
| dc.date.accessioned | 2019-05-15T09:04:57Z | |
| dc.date.available | 2019-05-15T09:04:57Z | |
| dc.date.issued | 2007 | |
| dc.description.abstract | This paper introduces formal verification techniques applied by PolySpace Verifier as a static approach to measure dynamic software quality attributes. It is proving the correctness of atomic operations in the source code in regards to run-time errors. PolySpace is unique in assessing dynamic properties with a static analysis of the source code. The document outlines the use of the results during maintenance, re-engineering and also development of software. It also gives a short tool description and an overview about used methods and techniques, supported programming languages and requirements. | en |
| dc.identifier.isbn | 978-3-88579-206-1 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/22493 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e. V. | |
| dc.relation.ispartof | Informatik 2007 – Informatik trifft Logistik – Band 2 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-110 | |
| dc.title | Static Analysis of Dynamic Properties - Automatic Program Verification to Prove the Absence of Dynamic Runtime Errors | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 279 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 275 | |
| gi.conference.date | 24.-27. September 2007 | |
| gi.conference.location | Bremen | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1