3 search results for "author:"Dario Pinto""
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
OCaml library to work with Software Heritage identifiers0.2ISCUsed by 0 other packages21 Jun 2022
OCaml library to work with swhids0.1ISCUsed by 2 other packages20 Jun 2022