CSCI 422 - Computer Science Topics Seminar

An advanced seminar in computer science. Topic varies by offering. Students will study an advanced topic in computer science, engaging with advanced material and current research. Not all topics offered every year.

Formal Verification

An introduction to the formal verification of programs. This course will survey approaches to developing proofs that programs satisfy certain classes of properties through engagement with literature. This includes tools for specifying program properties, such as formal logics, as well as algorithms for proving that such properties hold. Topics include SAT solving, model checking, and abstract interpretation.

Unit(s): 0.5
Group Distribution Requirement(s): Distribution Group III
Prerequisite(s): Formal Verification: CSCI 384
Instructional Method: Lecture-conference
Grading Mode: Letter grading (A-F)
Repeatable for Credit: May be taken 4 times for credit
Not offered: 2026-27
Group Distribution Learning Outcome(s):

Use and evaluate quantitative data or modeling, or use logical/mathematical reasoning to evaluate, test or prove statements.
Given a problem or question, formulate a hypothesis or conjecture, and design an experiment, collect data, or use mathematical reasoning to test or validate it.