Frama-C-discuss mailing list archives
This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Frama-C ACSL examples
- Subject: [Frama-c-discuss] Frama-C ACSL examples
- From: virgile.prevosto at m4x.org (Virgile Prevosto)
- Date: Fri, 29 May 2015 18:37:07 +0200
- In-reply-to: <CAJ9RV_M6wedaON1P6xnTo+9OYkKuYUbktTaOvzNO38BoY1CvOQ@mail.gmail.com>
- References: <CAJ9RV_M6wedaON1P6xnTo+9OYkKuYUbktTaOvzNO38BoY1CvOQ@mail.gmail.com>
Hello, 2015-05-29 16:10 GMT+02:00 V?tor Alcantara de Almeida <vitoralcantara at ppgsc.ufrn.br>: > someone has available examples of annotated C code or could inform where I > can find them, specially examples that weren't successfully proved. > - The wiki contains material from various tutorials https://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:tutorial. A certain number of them have code examples with ACSL specifications to be validated by WP. - The Toccata team from Inria maintains a gallery of verified programs, including some verified with Frama-C: http://toccata.lri.fr/gallery/frama-c.en.html Best regards, -- E tutto per oggi, a la prossima volta Virgile
- References:
- [Frama-c-discuss] Frama-C ACSL examples
- From: vitoralcantara at ppgsc.ufrn.br (Vítor Alcantara de Almeida)
- [Frama-c-discuss] Frama-C ACSL examples
- Prev by Date: [Frama-c-discuss] Frama-C ACSL examples
- Next by Date: [Frama-c-discuss] Frama-c-discuss Digest, Vol 84, Issue 15
- Previous by thread: [Frama-c-discuss] Frama-C ACSL examples
- Next by thread: [Frama-c-discuss] Frama-c-discuss Digest, Vol 84, Issue 15
- Index(es):