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

Showing 1 - 2
  1. frama-c

    No documentation

    Platform dedicated to the analysis of source code written in C
    deductive verification program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    32.1
    LGPL-2.1-only
    Used by 4 other packages
    12 Jun 2026
  2. resource-pooling

    No documentation

    Library for pooling resources like connections, threads, or similar
    Jan Rochel (BeSport)
    1.3
    MIT
    Used by 1 other packages
    15 Jun 2026