Back to Results
First PageMeta Content
Frama-C / Mathematical analysis / Function / Expected value / Logarithm / Program analysis / Mathematics / Functions and mappings / Software


Value Analysis Frama-C’s value analysis plug-inCarbon) Pascal Cuoq with Virgile Prevosto
Add to Reading List

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

Open Document

File Size: 4,71 MB

Share Result on Facebook

Company

Software Reliability Laboratory / /

Facility

Standard C library / /

Person

Pascal Cuoq / /

/

ProgrammingLanguage

C / /

Technology

API / /

URL

http /

SocialTag