Aug 31, 2024  
2013-2014 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  ARCHIVED CATALOGS (1902-2008)
  University Mission
  Catalog User Guide
  Academic Calendar
  Graduate Degree and Certificate Programs
  Course Descriptions
  Admission
  Tuition and Fees
  Financial Aid
  Student Consumer Information and Disclosures
  FERPA Annual Notice to Students
  Academic Regulations
  Nonacademic Regulations
  Albers School of Business and Economics
  College of Arts and Sciences
  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
  Faculty
  Accreditation and Memberships
  Discipline Codes
  My Portfolio
HELP
2013-2014 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 credit hours
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


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