Back to Results
First PageMeta Content
Subroutines / Frama-C / Data types / Abstract interpretation / Parameter / Pointer / Expected value / Constant


Value Analysis Frama-C’s value analysis plug-in AluminiumPascal Cuoq and Boris Yakobowski with Matthieu Lemerre, André Maroneze, Valentin
Add to Reading List

Document Date: 2016-06-01 04:33:34


Open Document

File Size: 928,81 KB

Share Result on Facebook