Jan 02, 2025  
2009-2010 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  ARCHIVED CATALOGS (1902-2008)
  Academic Calendar
  Graduate Programs
  Course Descriptions
  General Information
  Admission Policies
  Tuition and Fees
  Financial Aid
  Student Consumer Information and Disclosures
  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
2009-2010 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)

CSSE 543 - Applied Formal Methods

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: CSSE 5033

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)