Escher Technologies Escher Technologies
Home Tools Services Support News Company Contact Publications Articles
Escher Technologies
David

articles

This collection of articles, mostly about formal verification of C/C++ programs with particular reference to critical embedded systems, is based on certain posts that I originally made in my Verification Blog. They're reproduced here for convenience, and a few have been updated since they were first written.



David's blog
(opens in a new window)
Escher C Verifier (eCv) is part of Escher Verification Studio.

eCv provides formal verification of MISRA-C code by applying the principles of Verified Design by Contract.

Escher C Verifier and our flagship product Perfect Developer (PD) use the same theorem prover.

To enable those customers who wish to use PD for specification, directly followed by eCv, we combined both tools into a single product - Escher Verification Studio - with PD and eCv as components of this product.

Commercial users may buy a licence for just one component or for both of them.

 

 

 


Home    TOPTOP
Copyright © 1997-2021 Escher Technologies Limited. All rights reserved. Information is subject to change without notice.      Link to  Privacy/Cookie Policy (new window)