CSE507: Computer-Aided Reasoning for Software Engineering

Catalog Description: Covers theory, implementation, and applications of automated reasoning techniques, such as satisfiability solving, theorem proving, model checking, and abstract interpretation. Topics include concepts from mathematical logic and applications of automated reasoning to the design, construction, and analysis of software.

Prerequisities: (none listed)
Credits: 4.0

Portions of the CSE507 web may be reprinted or adapted for academic nonprofit purposes, providing the source is accurately quoted and duly creditied. The CSE507 Web: © 1993-2023, Department of Computer Science and Engineering, Univerity of Washington. Administrative information on CSE507 (authentication required).