COMP2214 - Problem Class 01 - Deductive Proof (Propositional Logic)

Loading previews...

Solution

Text

Download (217kB)

Solution

Tut01_PropLogic_sol.zip

Problem

Tut01_PropLogic.zip

4 files in this resource

Exercises for Propositional Logic Proof in Rodin Platform

Added By:	Dr Son Hoang
Date Added:	01 Feb 2021 12:15
Creators Name:	Dr Son Hoang
Tags:	formal methods, software engineering, Event-B
Viewing permissions:	University
Course codes:	COMP2214
Link:	http://edshare.soton.ac.uk/id/eprint/20804
Downloads & Views

Toolbox

There are no actions available for this resource.