eCv beta 1 released!
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!