Constraints in Program Analysis and Verification
- 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
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.
Unable to display preview. Download preview PDF.