CS 591 FMG - Formal Methods Seminar
Last offered Spring 2023
Seminar on topics of current interest as announced in the Class Schedule. Course Information: Approved for S/U grading only. May be repeated in the same or separate terms if topics vary. Prerequisite: As specified for each topic offering, see Class Schedule or departmental course description.
Consists of a combination of internal presentations, talks by external speakers, and paper readings on topics related to formal methods and verification.
|Formal Methods Seminar||FMG||41757||S17||1||1400 - 1520||F||1214 Siebel Center for Comp Sci||Madhusudan Parthasarathy|