University of Calgary

SENG 523 - Formal Methods - Fall 2021

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

Powered by UNITIS. More features.