Tool Interoperability

Overview — last modified 2006-04-01 09:11

The charter for the Tools/Interoperability panel is to develop a road map for verification tools and formats for interoperability between these tools. Here are some of the tool classes (feel free to ...

Tools and Interoperability — last modified 2006-04-02 21:30

Interoperable Tools

logics by Yves Bertot — last modified 2006-03-31 18:21

This page should outline the varieties existing between the logical foundations of existing proving tools, and at the same time underline the important common ground between all these logics.

Modularity by Rupak Majumdar — last modified 2006-03-30 21:58

A set of challenges for software verification research, biased from the Blast view.

Dynamic Analysis by shankar — last modified 2006-03-30 23:40

Contribution from Klaus Havelund

Integrating tools for practical software analysis by Henny Sipma — last modified 2006-04-02 14:48

Presentation given at the CUE workshop in Vienna, October 2004

tools presentation by shankar — last modified 2006-04-02 14:58

PDF slides from the tools panel

Motivating Examples of Tool Interoperability — last modified 2006-04-02 16:06

We outline some verification scenarios involving multiple tools and libraries.

TVLA — last modified 2006-04-03 09:12

Verification of Dynamic Properties with TVLA (By G. Ramalingam)