Home > C and C++ in critical systems > eCv beta 1 released!

eCv beta 1 released!

December 20, 2010

I’m pleased to announce that we’ve just released Escher C Verifier beta 1. We’re intending to keep the beta phase quite short, so barring major problems, full release of eCv should take place in January 2011.

We’ll be releasing a Critical Systems Edition of eCv, and also a Free Edition with reduced functionality – just like our product Perfect Developer. As well as providing formal verification of various properties (depending on edition), both versions perform partial checking of compliance with the MISRA-C 2004 standard. We’ll be increasing the number of rules checked in future releases.

We’re planning to run a training course in March – please get in touch if you are interested.

I’ll be back soon with a post on how eCv handles memory-mapped I/O through volatile variables. In the meantime, enjoy the Christmas break!

  1. Dave Banham
    January 12, 2011 at 14:16

    Have you got a language reference manual for the eCV?

  1. No trackbacks yet.
Comments are closed.
<span>%d</span> bloggers like this: