Sciweavers

VSTTE
2005
Springer

Tool Integration for Reasoned Programming

14 years 5 months ago
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.
Andrew Ireland
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where VSTTE
Authors Andrew Ireland
Comments (0)