COMP2214 - Problem Class 04 - Fixing models using failing proofs

Loading previews...

Solution

Text

Download (304kB)

Solution

Tut04_Registration_sol.zip

Problem

Tut04_Registration.zip

4 files in this resource

Fixing models using failing proofs

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

Toolbox

There are no actions available for this resource.