1 search result for "author:"Thibaut Benjamin""

  1. frama-c
    Documentation
    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 et al.
    27.1
    LGPL-2.1-only
    Used by 4 other packages
    19 Jul 2023