3 search results for "author:"Virgile Robles""
Showing 1 - 3
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.0~betaLGPL-2.1-onlyUsed by 2 other packages30 Oct 2023
MetAcsl plugin of Frama-C for writing pervasives properties0.5LGPL-2.1-onlyUsed by 0 other packages22 Nov 2023
Small PPX for fixed size integer literals1.0MITUsed by 0 other packages02 Nov 2022