From : Jacques-Henri Jourdan <jacques-henri.jourdan AT inria.fr>

: Jacques-Henri Jourdan <jacques-henri.jourdan AT inria.fr> To : coq-club AT inria.fr

: coq-club AT inria.fr Subject : [Coq-Club] Announcing Verasco 1.3

: [Coq-Club] Announcing Verasco 1.3 Date: Mon, 7 Mar 2016 18:12:13 +0100

Dear Coq-Club,It is my pleasure to announce the release 1.3 of the Verasco formallyverified static analyzer for C. Verasco 1.3 contains many improvements,both in performances and in precision compared to Verasco 1.2. You candownload it and browse the Coq development on Verasco's website:The design of Verasco is described in the PhD theses of Vincent Laporteand Jacques-Henri Jourdan, available at the following URLs:Enjoy!--JH Jourdan

Attachment: signature.asc

Description: OpenPGP digital signature

[Coq-Club] Announcing Verasco 1.3, Jacques-Henri Jourdan, 03/07/2016