Mar 29, 2024  
2016-2017 Graduate Catalog 
    
2016-2017 Graduate Catalog This is not the most recent catalog version; be sure you are viewing the appropriate catalog year.

Add to Portfolio (opens a new window)

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 Hours: 3 hrs
Grade Mode: Normal (A-F)

Prerequisite(s):   and   and  

Last Updated:
Links 06/2011


Summer 2024 Course Sections

Fall 2024 Course Sections




Add to Portfolio (opens a new window)