Back to Results
First PageMeta Content
Function / Expected value / Program analysis / Mathematics / Software / Frama-C


Value Analysis Frama-C’s value analysis plug-in FluorinePascal Cuoq and Boris Yakobowski with Virgile Prevosto
Add to Reading List

Document Date: 2013-09-24 04:53:54

Open Document

File Size: 1,11 MB

Share Result on Facebook

Company

Software Reliability Laboratory / /

Facility

Standard C library / /

Person

Boris Yakobowski / /

/

ProgrammingLanguage

Pascal / C / /

Technology

API / /

URL

http /

SocialTag