FIT3013 LM8: Semantics of Event-B

Last modified: 20080825:162035/first version for 2008

FIT3013 AJH-2008-23

LM8: Semantics of Event-B

Semantics and Proof Obligations in Event-B

presentation	slides as given in lectures, with multiple slides per points	86 pages
notes	the slides reduced to note form, even more suitable for printing	8 pages

Describes the semantics of Event-B through an analysis of all the proof obligations and how they arise.

previous: LM7: Substitutions next: LM9: More Refinement - The Bridge Problem

Document History

20080825:162035

7.0.0

ajh

first version for 2008

This page maintained by John Hurst.
Copyright Monash University Copyright Policy

2 accesses since
17 Mar 2010

Generated at 20100317:2225 from an XML file modified on 20100315:1835
Maintainer use only; not generally accessible: Local Server Work Server CSSE Server

155 accesses since 27 Mar 2010, HTML cache rendered at 20120522:0050