| |
Dec 21, 2024
|
|
|
|
|
2020-2021 Graduate Catalog [ARCHIVED CATALOG]
|
CISC 614 - Formal Methods in Software EngineeringCredit(s): 3
FORMAL METHODS SOFTWARE ENG
Component: Lecture
Formal approaches to the specification, verification, and design of software systems. Topics include representing programs as transition systems; liveness and safety properties; state space reachability; explicit, symbolic and automata-based model checking; temporal logics; symbolic execution; automated theorem-proving; and relational calculus. Learn to use state-of-the-art tools based on these methods, such as the model checker Spin.
Repeatable for Credit: N Allowed Units: 3 Multiple Term Enrollment: N Grading Basis: Student Option
Crosslisted: May be crosslisted with CPEG 614 . RESTRICTIONS: Credit cannot be received for both CISC614 and CISC414.
|
|
