Text
|
Download (362kB) |
 Problem | Sample solution |
COMP2214 - Problem Class 07 - Hoare Logic in SPARK
Exercises on Hoare Logic in SPARK - Flow analysis - Pre-/Post-conditions - Loops: Invariants, Variants
| Added By: |
Dr Son Hoang
|
|---|---|
| Date Added: | 13 Apr 2021 18:22 |
| Creators Name: |
Dr Son Hoang
|
| Tags: | formal methods, software engineering, SPARK |
| Viewing permissions: | University |
| Course codes: | COMP2214 |
| Link: | http://edshare.soton.ac.uk/id/eprint/20909 |
| Downloads & Views |  |
 |
