Jan 29, 2026  
Graduate Studies Catalog 2025-2026 
    
  Catalog Home
  Accreditations and Licensures
  Mission Statement/Memberships of the University
  Academic Calendar
  General Information
  Admission and Registration
  Academic Regulations
  Resources
  Tuition and Fees
  Accounting
  Business Administration
  Business Analytics
  Chemistry, Biochemistry, Clinical Chemistry
  Clinical Mental Health Counseling, Clinical Rehabilitation Counseling, School Counseling
  Cybercrime Investigation and Cybersecurity
  Education
  Finance
  Health Administration
  Health Informatics
  Human Resources Management
  Nursing
  Occupational Therapy
  Physical Therapy
  Software Engineering
  Speech Language Pathology
  University Administration
  University Directory
  Course Descriptions
  Cybercrime Investigation and Cybersecurity
HELP
Graduate Studies Catalog 2025-2026
Facebook this Page (opens a new window)
Tweet this Page (opens a new window)

SE 504 - Formal Methods and Models

3 cr.
(Prerequisite SE 500) This course is concerned with the application of mathematical techniques and models to the problem of software development. Of particular concern are means by which to develop provably correct programs.


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)