Escher C Verifier released!
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.
Need help with using C or C++ in critical systems? Click on my picture above.
David Crocker's Verification Blog 
Could we get a trial version of escher c verifier?
Yes, please follow the link to request a download key at http://eschertech.com/evaluation/evaluation.php.
Thank you very much.