2 search results for "author:"Richard Bonichon""

Showing 1 - 2
  1. binsec
    Documentation
    Semantic analysis of binary executables
    binary code analysis symbolic execution deductive program verification formal specification automated theorem prover plugins abstract interpretation dataflow analysis linking disassembly
    Adel Djoudi Benoit Boero Benjamin Farinier Chakib Foulani Dorian Lesbre et al.
    0.11.3
    LGPL-2.1-or-later
    Used by 0 other packages
    Added to opam-repository
  2. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    ACSL C abstract interpretation code transformation dataflow analysis deductive verification formal specification program verification runtime annotation checking static analysis
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    33.0
    LGPL-2.1-only
    Used by 4 other packages
    Added to opam-repository