| |
May 06, 2024
|
|
|
|
|
COSC 513 - Formal Methods in Software Development
Principles of logical reasoning and their application to the development of reliable software, propositional and predicate logic, mathematical induction, semantics of control and data structures are studied. Examples are drawn from various applications areas. Emphasis is on the use of formal methods as practical tools that aid in software development.
Credit 3 hrs May not be repeated for additional credit
Grade Mode Normal (A-F)
Prerequisite(s) COSC 311 and COSC 314 and MATH 121
Summer 2024 Course Sections
Fall 2024 Course Sections
Add to Portfolio (opens a new window)
|
|
