Tool Integration for Reasoned Programming

We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative style of interaction between tools. We propose the use of an existing planning technique, called proof planning, as a possible basis for achieving strong integration.

• Type: Conference
• Year: 2005
• Where: VSTTE
• Authors: Andrew Ireland
• Keywords: Software Engineering, Strong Integration, Tool Integration, Verifier Grand Challenge, VSTTE 2005