<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-11-16 09:42:27Program logic Linear differential equation Formal methods Ordinary differential equations Predicate transformer semantics |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2011-11-16 09:42:27Program logic Linear differential equation Formal methods Ordinary differential equations Predicate transformer semantics |
Add to Reading List |
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