Apr 03, 2025  
USC Catalogue 2022-2023 
    
Catalogue 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)
Past Catalogues (PDF)
USC Catalogue 2022-2023 [ARCHIVED CATALOGUE]

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