Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


INFORMATIK 2007 Informatik trifft Logistik Band 2 Beiträge der 37. Jahrestagung der Gesellschaft für Informatik e.V. (GI) 24. - 27. September 2007 in Bremen P-110, 275-279 (2007).

Gesellschaft für Informatik, Bonn
2007


Editors

Otthein Herzog (ed.), Karl-Heinz Rödiger (ed.), Marc Ronthaler (ed.), Rainer Koschke (ed.)


Copyright © Gesellschaft für Informatik, Bonn

Contents

Static analysis of dynamic properties - automatic program verification to prove the absence of dynamic runtime errors

K. Wissing

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.


Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-206-1


Last changed 04.10.2013 18:15:02