Back to Results
First PageMeta Content
Formal methods / Frama-C / ANSI/ISO C Specification Language / Program logic / Theoretical computer science / Formal verification / Hoare logic / Mathematical proof / Automated theorem proving / Software engineering / Software / Computing


Specification and Proof of Programs with Frama-C SAC 2013 Tutorial Nikolai Kosmatov, Virgile Prevosto, Julien Signoles CEA LIST
Add to Reading List

Document Date: 2013-03-25 09:07:11

Open Document

File Size: 929,18 KB

Share Result on Facebook

Company

Airbus / /

/

Facility

onCIL library / /

IndustryTerm

logic-based tool / automatic tool / /

Person

Julien Signoles / N.Kosmatov / V / Nikolai Kosmatov / /

Product

A380 / /

ProgrammingLanguage

C / /

URL

http /

SocialTag