Back to Results
First PageMeta Content
Program logic / Linear differential equation / Formal methods / Ordinary differential equations / Predicate transformer semantics


Verifying Two Lines of C with Why3: an Exercise in Program Verification? Jean-Christophe Filliˆatre CNRS LRI, Univ Paris-Sud, CNRS, Orsay F[removed]INRIA Saclay-ˆIle-de-France, ProVal, Orsay F-91893
Add to Reading List

Document Date: 2011-11-16 09:42:27

Open Document

File Size: 300,16 KB

Share Result on Facebook

City

Paris / /

Country

France / /

Currency

pence / /

IndustryTerm

e-= / computing / /

Person

Jean-Christophe Filliˆatre / /

ProgrammingLanguage

L / C / /

SocialTag