David Crocker's Verification Blog

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!