Home > C and C++ in critical systems > Escher C Verifier released!

Escher C Verifier released!

October 24, 2011

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.

  1. yylxl
    November 16, 2013 at 16:03

    Could we get a trial version of escher c verifier?

  1. No trackbacks yet.
Comments are closed.
%d bloggers like this: