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.0Portions of the CSE507 web may be reprinted or adapted for academic nonprofit purposes, providing the source is accurately quoted and duly credited. The CSE507 Web: © 1993-2024, Department of Computer Science and Engineering, University of Washington. Administrative information on CSE507 (authentication required).