Constraints in Program Analysis and Verification

(Abstract of Invited Talk)
  • Andreas Podelski
Conference paper

DOI: 10.1007/978-3-540-30201-8_1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3258)
Cite this paper as:
Podelski A. (2004) Constraints in Program Analysis and Verification. In: Wallace M. (eds) Principles and Practice of Constraint Programming – CP 2004. CP 2004. Lecture Notes in Computer Science, vol 3258. Springer, Berlin, Heidelberg

Abstract

Program verification is a classical research topic in core computer science. Recent developments have lead to push-button software verification tools that are industrially used e.g. to check interface specifications of device drivers. These developments are based on program analysis, model checking and constraint solving.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Andreas Podelski
    • 1
  1. 1.Max-Planck-Institut für InformatikSaarbrückenGermany

Personalised recommendations