Dec 18, 2024  
USC Catalogue 2023-2024 
    
Catalog Navigation
  Catalogue Home
  About USC
  Administration
  Admission and Orientation
  Tuition and Fees
  Academic Calendar
  The Schools and Academic Units
  Programs, Minors and Certificates
  Programs by School
  Courses of Instruction
  Schedule of Classes
  Academic and University Policies
  Undergraduate Education
  Graduate and Professional Education
  The Graduate School
  About the Catalogue
  Past Catalogues (Online)
HELP
USC Catalogue 2023-2024 [ARCHIVED CATALOGUE]

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

CSCI 625 Program Synthesis and Computer-Aided Verification

Units: 4
Terms Offered: FaSp
Introduction to the principles and practices of software verification and program synthesis.
Recommended Preparation: Knowledge of discrete math and algorithm design. Background in systems and software engineering.
Instruction Mode: Lecture
Grading Option: Letter


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