Formal Methods

Department of
Computer Science

Department of
Computer Science

Home
Modules
Staff
News
Research
Advisory Board
Degrees
Undergraduate Honours Postgraduate
Capstone Projects
Contact

Formal Methods

Honours

COS740 - Formal aspects of computing (I)

This module focuses on formally specifying systems by means of Event-B.

Second Semester
15 Credits

Categories

All
Doctoral
Honours
Masters
Undergraduate

Tags

All
Ai
Capstone
Data science
Db
Deep learning
Education
Formal methods
Graphics
Machine learning
Model checking
Neural networks
Programming
Research
Security
Software
Statistics
System
Systems
Theory
Web

Department of Computer Science
Information Technology Building - Level 4
University of Pretoria
Lynnwood Road
Hillcrest, Pretoria
+27 12 420 2504

Navigate

Home
Modules
Staff
News
Research
Advisory Board
Capstone Projects

Degrees

Honours
Postgraduate
Undergraduate

Research

CIRG
CSEDAR
DSFSI
DigiForS
NICOG
SSFM

© 2023 University of Pretoria