Escher Technologies - Articles

URL

http://eschertech.com/articles/index.php

Description

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.