Dec 17, 2024  
2022-2023 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  Message from the President
  Non-Discrimination Policy and Annual Security Reports
  Academic Calendar
  General Information
  Undergraduate Admission
  Expenses and Financial Aid
  Student Life
  Student Services
  Academic Policies and Procedures
  Undergraduate Degree Requirements
  The George L. Argyros School of Business and Economics
  Donna Ford Attallah College of Educational Studies
  Crean College of Health and Behavioral Sciences
  Lawrence and Kristina Dodge College of Film and Media Arts: Sodaro-Pankey Undergraduate School of Media Arts
  Dale E. and Sarah Ann Fowler School of Engineering
  Schmid College of Science and Technology
  Wilkinson College of Arts, Humanities, and Social Sciences
  School of Communication
  College of Performing Arts
  School of Pharmacy
  University Programs
  Undergraduate Degrees by School/College
  Undergraduate Degree Programs
  Graduate Degree Programs by School/College
  Course Offerings
  University Leadership and Faculty Listing
HELP
2022-2023 Undergraduate Catalog [ARCHIVED CATALOG]

SE 420 - Formal Methods in Software Engineering

Prerequisite, SE 410 . A survey in formal methods in software engineering, including topics such as verification techniques, software mining, and specification languages. (Offered as needed.) 3 credits