ANN: New version of Proof Checker Interface for SPARK

The latest version of the SPARK toolset (Version 7.3) has removed the problem that limited the capability of the first version of the Proof Checker Interface (PCHIF).

With version 2.6 of the Proof Checker (included in SPARK Version 7.3) it is now possible to handle both input to and output from the Proof Checker in the interface.

The download page for the new version of the interface can be reached from www.sparksure.com.

If you already have the earlier version then note that the new version has been developed with GtkAda 2.4.0 (the earlier version used 2.2.0).

The downloads include the VC_View tool that is unchanged from the earlier version.

Phil Thornley
--
JP Thornley
.