Frama-C (FRAmework for Modular Analysis of C programs) is a set of interoperable program analyzers for C programs. I have used this software during all my PhD thesis and after, mostly for deductive ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results