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


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

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


Open Document

File Size: 4,62 MB

Share Result on Facebook

Company

Software Reliability Laboratory / /

Facility

Standard C library / /

Person

Pascal Cuoq / /

/

ProgrammingLanguage

C / /

URL

http /

SocialTag