|
Apr 24, 2024
|
|
|
|
2019-2020 Undergraduate Catalog [ARCHIVED CATALOG]
|
CISC 414 - Formal Methods in Software Engineering Credit(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 PREREQ: CISC 304 or equivalent course, or permission of instructor. RESTRICTIONS: Credit cannot be received for both CISC614/CPEG614 and CISC414. Course Typically Offered: Fall General Education Objectives: GE1B: Analyze Arguments and Information GE1C: Engage in Constructive Ideation GE2A: Communicate Effectively in Writing GE5B: Reason Computationally GE5C: Reason Scientifically
|
|