Skip to main content.



Course Search

Search Results

Course Prefix: CSE   Course #: 449   Keywords: null   showing 1 to 1 of ~1

CSE 449LEC Software Verification


This course will cover concepts, methods, and tools for formal verification of software. Software paradigms include object-oriented, functional and concurrent software. The course will cover software specification languages based upon set theory and various logics, and verification techniques that are code-based and model-based. Important topics include code contracts, weakest pre-conditions, invariants, termination, induction, model checking, and the use of modern tools for software verification. Adoption of verification methods in industry will also be surveyed. This course is dual-listed with CSE 549.

Credits: 3
Grading: Graded (GRD)
Typically Offered: Varies
Prerequisites: CSE 305.
Published: Oct 13, 2020 13:33:43