| |
Apr 28, 2024
|
|
|
|
|
CS 4201 - Software Verification
A course on programming languages and software verification, with hands-on exercise in an interactive theorem prover such as Coq. Topics may include, but are not limited to: logic; functional programming; inductive datatypes, recursion, and structural induction; operational, denotational, and axiomatic semantics; simply typed lambda calculus; polymorphic lambda calculus; type systems and type-checking.
Credit Hours: 3
Repeat/Retake Information: May be retaken two times excluding withdrawals, but only last course taken counts.
Lecture/Lab Hours: 3.0 lecture
Eligible Grades: A-F,WP,WF,WN,FN,AU,I
Add to Portfolio (opens a new window)
|
|
