The Coq mailing list

[Jacques-Henri Jourdan <jacques-henri.jourdan AT inria.fr>]

Dear Coq-Club,

It is my pleasure to announce the release 1.3 of the Verasco formally
verified static analyzer for C. Verasco 1.3 contains many improvements,
both in performances and in precision compared to Verasco 1.2. You can
download it and browse the Coq development on Verasco's website:

http://compcert.inria.fr/verasco/

The design of Verasco is described in the PhD theses of Vincent Laporte
and Jacques-Henri Jourdan, available at the following URLs:

https://jhjourdan.mketjh.fr/thesis_jhjourdan.pdf
http://people.irisa.fr/Vincent.Laporte/phd.html

Enjoy!
-- 
JH Jourdan

Attachment: signature.asc
Description: OpenPGP digital signature