
Solution
Text
![]() |
Download (217kB) |
Tut01_PropLogic_sol.zip
Archive
|
Download (30kB) |
Tut01_Challenge_sol.zip
Archive
|
Download (6kB) |
Problem
Text
![]() |
Download (196kB) |
Tut01_PropLogic.zip
Archive
![]() |
Download (23kB) |
![]() Solution | ![]() Tut01_PropLogic_sol.zip | ![]() Tut01_Challenge_sol.zip | ![]() Problem | ![]() Tut01_PropLogic.zip |
5 files in this resource
COMP2214 - Problem Class 01 - Deductive Proof (Propositional Logic)
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 | ![]() |
Actions (login required)
![]() |
View Item |
Toolbox
There are no actions available for this resource.