2 search results for "author:"Jan Rochel""

Showing 1 - 2
  1. 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 1 other packages
    Added to opam-repository
  2. resource-pooling
    Documentation
    Library for pooling resources like connections, threads, or similar
    Jan Rochel (BeSport)
    1.3
    MIT
    Used by 1 other packages
    Added to opam-repository