University of Calgary

SENG 523 - Formal Methods - Fall 2020

Software specification, verification, and validation using a mathematically rigorous technique.
This course may not be repeated for credit.

Hours

  • H(3-2T)

Prerequisite(s)

  • 3 units from Software Engineering 300, 301 or Software Engineering for Engineers 480.

Sections

  • LEC 1MWF 11:00 - 11:50
    TUT 1M 16:00 - 17:50
This course will be offered next in Fall 2021.
Powered by UNITIS. More features.