COMP2214 - Lecture 07 - Debugging Models with Proof and Judgement

COMP2214 - Lecture 07 - Debugging Models with Proof and Judgement

Debugging Models with Proof and Judgement - Strengthen Guards - Modify Actions - Strengthen Invariants - Weaken Invariants

Added By:	Dr Son Hoang
Date Added:	20 Feb 2019 21:52
Creators Name:	Dr Son Hoang
Tags:	software engineering, formal methods
Viewing permissions:	University
Course codes:	COMP2214
Link:	http://edshare.soton.ac.uk/id/eprint/19825
Downloads & Views

Actions (login required)

View Item

Collection(s)

• COMP2214 Advanced Software Modelling and Design