2 ms·
Link to a slide deck on Frama-C: https://cse.msu.edu/~cse814/Lectures/frama-c.pdf https://cse.msu.edu/~cse814/Lectures/frama-c.pdf
by jes 5y ago
Link to a slide deck on Frama-C:
https://cse.msu.edu/~cse814/Lectures/frama-c.pdf https://cse.msu.edu/~cse814/Lectures/frama-c.pdf