Jun 07, 2025  
2025 Graduate Catalog 1.1 (WINTER-SPRING) 
    
Catalog Navigation
  Publication Home
  Programs of Study
  Course Descriptions
  Academic Policies and Procedures
  Admission Requirements
  Financial Policies and Procedures
  Student Resources
  Archived Catalogs
  Updates
  Print Version Catalog
  2025 Winter Spring Graduate Catalog
  My Portfolio
HELP
2025 Graduate Catalog 1.1 (WINTER-SPRING) [ARCHIVED CATALOG - Consult with Your Academic Advisor for Your Catalog Year]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)

CSC 648 - Formal Methods (3)

Formal Methods are mathematically rigorous approaches used to specify, design, analyze, and verify software systems to ensure correctness and reliability. This course introduces students to the fundamental principles and techniques of Formal Methods, emphasizing their application in the context of software development. Students will delve into various aspects of Formal Methods, with a focus on developing provably correct programs.


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)