Text
|
Download (308kB) |
 Handout | 2x2 print |
COMP2214 Lecture 17 - Event-B to SPARK
This lecture about data refinement from Event-B models and generating SPARK/Ada from the model
| Added By: |
Dr Son Hoang
|
|---|---|
| Date Added: | 29 Apr 2020 09:53 |
| Creators Name: |
Dr Son Hoang
|
| Tags: | formal methods, software engineering, SPARK, Event-B |
| Viewing permissions: | University |
| Course codes: | COMP2214 |
| Link: | http://edshare.soton.ac.uk/id/eprint/20415 |
| Downloads & Views |  |
 |
