|
|
|
Apr 20, 2024
|
|
CSCI181N PO - Software Foundations: Verifying Software for CorrectnessWhen Offered: Last offered spring 2016.
Instructor(s): M. Greenberg
Credit: 1
Building reliable software through formal verification. We verify that programs meet their specifications, e.g.: that sorting algorithms produce sorted permutations of their input, or that a programming language’s type system avoids errors. The course marries theory (proofs) and practice (functional programming) using a proof assistant, as used in verified compilers (CompCert) and formalized mathematics (the four-color theorem, the Feit-Thompson Odd-Order Group Theorem). Prerequisites: CSCI 081 PO or CSCI 131 PO .
Satisfies the following General Education Requirement(s), subject to conditions explained in the Degree Requirements section of this Catalog:
Area 5
Add to Portfolio (opens a new window)
|
|
|
