CSCI506
Download as PDF
Formal Methods
Prefix
CSCI
Course Number
506
Course ID
00161401-2025-08-25
Course Level
Graduate
Instructional Type
Lecture
Grade Type
A-F Only
Department/Unit(s)
College/School
College of Science and Engineering
Description
Formal methods for specification, validation and verification in software development life cycle. Specification techniques. Formal methods integration with programming languages. Application of formal methods in requirements and safety analysis, testing, software reuse.