David Crocker's Verification Blog

We are pleased to announce that Escher C Verifier is now a released product. This first release is later than planned, but goes beyond our original goal. We found that some of our pilot users had constructs such as function pointers and limited use of ‘goto’ in their software, so we decided to support these constructs in the first release after all.

Alongside eCv we have released an update to our established product Perfect Developer. PD facilitates the development and verification of software specifications, their refinement to a design, and optional code generation in a choice of programming languages.

Both the commercial editions and the capacity-limited free editions of the two tools are also available as a single combined product, Escher Verification Studio. See the Escher Technologies web site for more information.