CIS 461: Formal Meth Software Engineer

Prerequisite: MTH 182

General Education requirement: Natural Science Technology

Course in presentation of formal model-based methods of software development. Review of mathematical foundations for formal methods. Formal languages and techniques for specification and design, including specifying syntax using grammars, finite state machines, and Petri nets. Analysis and verification of specifications and designs. Use of assertions, invariants, and proofs. Automated program and design transformation

2021 Fall
Class#SctTypeSeatsUnits
12133 01 Lecture 30 3.00
DaysStartEndLocation
MON TUE WED THU FRI SAT 3:30 PM EST 4:45 PM EST
Instructor: Yi Liu Class status:
Prerequisite: MTH 182
Enrollment Section
Class instruction mode: In Person

Course search