University Of Pretoria Computer Science Department

COS740 - Formal Methods (1)

Announcements

Module Content

LECTURE SLIDES - Important: The slides do NOT replace the Literature! For the Assessments and Exams, you MUST study from the Literature, not only from the slides!
154-181.pdf
Slides 154-181: lectures to Chapter #6 (after the Easter vacations).
094-153.pdf
Slides 94-153: lectures five-seven (up to the Easter vacations).
047-093.pdf
Slides 47-93: lectures three-four.
001-046.pdf
Slides 1-46: the first two lectures.
PRACTICAL MEMOS - Memos will appear only after your practical solutions have been submitted.
Memo_P1.pdf
12-4-2018
Memo_P2.pdf
19-4-2018
Memo_P3.pdf
26-4-2018
Memo_P4.pdf
3-May-2018

Module forums

The new CS forums are available here.

Module Links

by: Franco Mazzanti, Alessio Ferrari, and Giorgio Spagnolo.
Some additional advice about how to model and verify concurrent systems.
by Alex GROCE and Willem VISSER

Login

Username:
Password:
Remember Me

Module Description

THIS WEB PAGE IS THE STUDY GUIDE for COS740: FORMAL METHODS. Please carefully take note of all further announcements which will appear on this web page....

Show Long Description

Lecturer Information

Course Coordinator

Prof Stefan Gruner

Lecturers

Assistant Lecturers

Tutors

Dr Nils Timm

Teaching Assistants

There are no teaching assistants assigned.

Class Representatives

English Representatives

Mr Keegan Ferrett

Active Assignments

No currently active Assignments.
Check the assignment portal:
assignments.cs.up.ac.za

Active Fitch Fork Assignments

No currently active Fitch Fork Assignments
Check the assignment portal:
assignments.cs.up.ac.za

Active Bookings

    No bookings available

Lab Bookings

    No lab bookings available

Active Team Allocations

    No team allocations available

Active Bids

Individual Bids

    No individual bids

Team Bids

    No team bids

Team Pages

Team Pages

    No Team Pages

Team Pages Open to Module Members

    No Public Team Pages

Team Pages Open to Everyone

    No Public Team Pages

Active Polls

There are no polls available.
All content copyright © Department of Computer Science, School of IT, University of Pretoria, South Africa