4 search results for "author:"Thibault Martin""

  1. frama-c
    Platform dedicated to the analysis of source code written in C
    deductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Thibaut Benjamin Allan Blanchard Lionel Blatter François Bobot Richard Bonichon Quentin Bouillaguet David Bühler Zakaria Chihani Loïc Correnson Julien Crétin Pascal Cuoq Zaynah Dargaye Basile Desloges Jean-Christophe Filliâtre Philippe Herrmann Maxime Jacquemin Florent Kirchner Tristan Le Gall Jean-Christophe Léchenet Matthieu Lemerre Dara Ly David Maison Claude Marché André Maroneze Thibault Martin Fonenantsoa Maurica Melody Méaulle Benjamin Monate Yannick Moy Anne Pacalet Valentin Perrelle Guillaume Petiot Dario Pinto Virgile Prevosto Armand Puccetti Félix Ridoux Virgile Robles Muriel Roger Julien Signoles Nicolas Stouls Kostyantyn Vorobyov Boris Yakobowski
    26.1
    LGPL-2.1-only
    Used by 3 other packages
    Last published 16 Feb 2023
  2. frama-c-lannotate
    Lannotate plugin of Frama-C, part of the LTest suite
    software testing Frama-C LTest
    Omar Chebaro Mickaël Delahaye Michael Marcozzi Thibault Martin
    0.2
    LGPL-2.1-only
    Used by 0 other packages
    Last published 26 Aug 2022
  3. frama-c-luncov
    Luncov plugin of Frama-C, part of the LTest suite
    software testing Frama-C LTest
    Robin David Mickaël Delahaye Michael Marcozzi Thibault Martin
    0.2
    LGPL-2.1-only
    Used by 0 other packages
    Last published 26 Aug 2022
  4. lreplay
    Executes a test suite and computes test coverage
    Mickaël Delahaye Omar Chebaro Nikolai Kosmatov Sébastien Bardin Michaël Marcozzi Thibault Martin
    0.1
    LGPL-2.1-only
    Used by 0 other packages
    Last published 06 Apr 2022