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.
展开▼
机译:我们认为工具集成对于实现Program Verifier Grand Challenge的重要性。尤其是,我们主张所谓的强集成,即工具之间交互的协作风格。我们建议使用一种称为证明计划的现有计划技术,作为实现强大集成的可能基础。
展开▼