Formal Methods

3 credits · Undergraduate Programs

Software specification, verification, and validation using a mathematically rigorous technique. Prerequisite(s): 3 units from Software Engineering 300, 301 or Software Engineering for Engineers 480.