Towards static modular software verification
| dc.contributor.author | Mews, Marcus | |
| dc.contributor.author | Helke, Steffen | |
| dc.contributor.editor | Jähnichen, Stefan | |
| dc.contributor.editor | Rumpe, Bernhard | |
| dc.contributor.editor | Schlingloff, Holger | |
| dc.date.accessioned | 2018-11-19T13:30:00Z | |
| dc.date.available | 2018-11-19T13:30:00Z | |
| dc.date.issued | 2012 | |
| dc.description.abstract | The paper presents our first work in progress results of an approach to verify the correct use of software libraries in target projects. Therefor the project's source code is analyzed and checked against the library's behavior specification, called interface grammar. This grammar is formalized using annotated state diagrams, and the verification analysis is based on static control flow, data flow and alias analyses. The paper illustrates the presented approach using a small-sized Java library example. In the end, we give a brief outlook to necessary enhancements. | en |
| dc.identifier.isbn | 978-3-88579-293-2 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/18369 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Software Engineering 2012. Workshopband | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-199 | |
| dc.title | Towards static modular software verification | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 153 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 147 | |
| gi.conference.date | 27. Februar - 2. März 2012 | |
| gi.conference.location | Berlin | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1