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.

Old Frama-C mailing list archives for July 2013

• Main index
• Thread index for July 2013

---

• [Frama-c-discuss] Using frama-c to verify coding patterns of concurrent sw
  • From: Oyvind.Teig at autronicafire.no (Teig, Oyvind CCS)
• [Frama-c-discuss] Using frama-c to verify coding patterns of concurrent sw
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] Using frama-c to verify coding patterns of concurrent sw
  • From: Oyvind.Teig at autronicafire.no (Teig, Oyvind CCS)
• [Frama-c-discuss] Semantic unrolling and trace partitioning
  • From: dhekir at gmail.com (Daniel Garcia)
• [Frama-c-discuss] Semantic unrolling and trace partitioning
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] Using frama-c to verify coding patterns of concurrent sw
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] Frama-c failing in proving successive simple goals
  • From: alice.tailliar at etu.enseeiht.fr (Tailliar Alice)
• [Frama-c-discuss] Frama-c failing in proving successive simple goals
  • From: cristiano.sousa126 at gmail.com (Cristiano Sousa)
• [Frama-c-discuss] introducing hypothesis with ACSL on sets of array elements witk Frama-C/Value
  • From: stephane.duprat at atos.net (DUPRAT Stephane)
• [Frama-c-discuss] introducing hypothesis with ACSL on sets of array elements witk Frama-C/Value
  • From: matthieu.lemerre at cea.fr (Matthieu Lemerre)
• [Frama-c-discuss] introducing hypothesis with ACSL on sets of array elements witk Frama-C/Value
  • From: stephane.duprat at atos.net (DUPRAT Stephane)
• [Frama-c-discuss] introducing hypothesis with ACSL on sets of array elements witk Frama-C/Value
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] introducing hypothesis with ACSL on sets of array elements witk Frama-C/Value
  • From: stephane.duprat at atos.net (DUPRAT Stephane)
• [Frama-c-discuss] introducing hypothesis with ACSL on sets of array elements witk Frama-C/Value
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] introducing hypothesis with ACSL on sets of array elements witk Frama-C/Value
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] JFLA 2014 - Deuxième appel à Communication
  • From: Christine.Tasson at pps.univ-paris-diderot.fr (Christine Tasson)

---

Mail converted by MHonArc