4 search results for "author:"Thibault Martin""
Showing 1 - 4
Platform dedicated to the analysis of source code written in Cdeductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification28.0LGPL-2.1-onlyUsed by 2 other packages06 Dec 2023
Lannotate plugin of Frama-C, part of the LTest suite0.2LGPL-2.1-onlyUsed by 0 other packages26 Aug 2022
Luncov plugin of Frama-C, part of the LTest suite0.2LGPL-2.1-onlyUsed by 0 other packages26 Aug 2022
Executes a test suite and computes test coverage0.1LGPL-2.1-onlyUsed by 0 other packages06 Apr 2022