Abstract
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. © IFIP International Federation for Information Processing 2008.
Cite
CITATION STYLE
Ireland, A. (2008). Tool integration for reasoned programming. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4171 LNCS, pp. 422–427). https://doi.org/10.1007/978-3-540-69149-5_45
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
