Back to Results
First PageMeta Content
Frama-C / Program analysis / Procedural programming languages / Static program analysis / Plug-in / C / D / Computing / Software engineering / Computer programming


User Manual Frama-C User Manual Release BoronLoïc Correnson, Pascal Cuoq, Armand Puccetti and Julien Signoles
Add to Reading List

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

Open Document

File Size: 4,61 MB

Share Result on Facebook

Company

Software Reliability Laboratory / Critical Software / /

Facility

Menu Bar / /

IndustryTerm

source code pre-processor / /

OperatingSystem

SHARE / /

Organization

INTRODUCTION Chapter / Frama-C. Chapter / /

Person

Mickaël Delahaye / Philippe Hermann / Patrick Baudin / Pascal Cuoq / Julien Signoles / Armand Puccetti / Benjamin Monate / /

Position

General / Lightweight Semantic-Extractor / /

ProgrammingLanguage

C / /

PublishedMedium

Foreword / /

Technology

source code pre-processor / /

URL

http /

SocialTag