University of Calgary

SENG 523 - Formal Methods - Fall 2018

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

Hours

  • H(3-2T)

Prerequisite(s)

  • Software Engineering 300 or 301 or Software Engineering for Engineers 480.

Sections

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