Computer Science 625:

Program Synthesis and Computer-Aided Verification (4.0 units)

Introduction to the principles and practices of software verification and program synthesis.
    30093D048Lecture3:30-5:20pmMon, Wed
    Mukund RaghothamanPDF (333369 KB)session dates
    Information accurate as of October 6, 2022 11:00 am.
    Did you find what you needed today? Let us know by taking a short survey.