Course Listings » Fall 2018 » SENG 523 - Formal Methods - Fall 2018

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 1 MWF 10:00 - 10:50
Yingxu Wang
TUT 1 M 15:00 - 16:50
Yingxu Wang

This course will be offered next in Fall 2020.

Powered by UNITIS. More features.