CMPSC266
Download as PDF
CMPSC 266 - Formal Specification and Verification
Computer Science
College of Engineering
Full Course Title
Formal Specification and Verification
Instructor Name(s)
Kemmerer
Course Description
Introduction to existing specification and verification systems, and the underlying theory and techniques of verifying the correctness of algorithms with respect to specifications. This subject can be considered as the combination of specification and verification techniques, programming language semantics and formal logic.
Unit Value
4
Maximum number of times course can be repeated for additional credit
99
Maximum Units
99