University Of Pretoria SA Coronavirus Website Computer Science Department

COS741 - Model Checking

Announcements

Module Content

Study Guide - Study Guide
COS741StudyGuide.pdf
COS741StudyGuide.pdf

Module forums

The new CS forums are available here.

Module Links

This module has no links

Login

Username:
Password:
Remember Me

Module Description

Model Checking is a technique for automatically proving whether a software program satisfies correctness requirements such as mutual exclusion, deadlock-freedom or starvation-freed...

Show Long Description

Lecturer Information

Course Coordinator

Dr Nils Timm

Lecturers

Assistant Lecturers

Tutors

There are no tutors assigned.

Teaching Assistants

There are no teaching assistants assigned.

Class Representatives

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