May 26, 2026  
2010-2011 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  ARCHIVED CATALOGS (1902-2008)
  University Mission
  SU Catalog User Guide
  Academic Calendar
  Graduate Programs
  Course Descriptions
  General Information
  Admission Policies
  Tuition and Fees
  Financial Aid
  Student Consumer Information and Disclosures
  FERPA Annual Notice to Students
  Academic Regulations
  Nonacademic Regulations
  College of Arts and Sciences
  Albers School of Business and Economics
  School of Law
  College of Education
  College of Nursing
  College of Science and Engineering
  School of Theology and Ministry
  Special Academic Programs
  Center for Service and Community Engagement
  Culture and Language Bridge Program
  Education Abroad
  University Governance
  University Administration
  Student Governance
  Faculty
  Accreditation and Memberships
  Discipline Codes
  My Portfolio
HELP
2010-2011 Graduate Catalog [ARCHIVED CATALOG]

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

SEGR 543 - Applied Formal Methods

3
Formal techniques for building reliable systems. Use of abstractions for concisely and precisely defining system behavior. Formal logic and proof techniques for verifying the correctness of programs. Hierarchies of abstractions, state transition models, Petri Nets, communicating processes. Operational and definitional specification languages. Prerequisite: SEGR 503

Academic Level: Graduate
Instructional Method: Lecture
School: College of Science & Engineering


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