frama-c

Platform dedicated to the analysis of source code written in C

Libraries

This package provides the following libraries (via dune):

qed

Documentation:

Dependencies: frama-c.kernel, zarith