| Last modified: 20070313:153244/version for 2007 | CSE4213 AJH-2007 |
Lecture 06: Formal Definitions
Formal Definitions | Test
Formal Definitions
| presentation | slides as given in lectures, with multiple slides per points | 63 pages |
| slides | slides as per the lectures, but multiple points per slide, suitable for printing | 56 pages |
| notes | the slides reduced to note form, even more suitable for printing | 13 pages |
This lecture covers definitions supplied in the Concise Summary of B, focussing particularly upon the use of set comprehension as a tool for the formal definition of B constructs.
Test
This very simple machine is offered as a easy example to try out the B Toolkit for the first time.
previous lecture next lecture
Document History
| 20070313:153244 | 6.0.0 | ajh | version for 2007 |
