Archive

Archive for September, 2010

ArC is now eCv!

September 6, 2010 Comments off

We’re now nearing the beta release of our C verification product. We’ve decided to call the product Escher C Verifier, or eCv for short. While we liked the name ArC (Automated Reasoning about C), there are just too many pieces of software already out there with ARC in the name. Read more…

Categories: C and C++ in critical systems