Formal Verification with Ada 2012: a Very Simple Case Study
- Track: Ada devroom
- Room: K.4.601
- Day: Saturday
- Start: 16:00
- End: 16:25
After a quick reminder of the Hoare Logic and the approach for designing software by contracts, the tool suite developed by AdaCore for formal verifications is presented. To make the concepts easily understood, a little program simulating a sandpile is used.
Speakers
 |
Didier Willame |