Description: Description: Description: Description: Description: Description: UMD_logo

CMSC 838M Spring 2017

Model Checking

Home Page

 

Instructor

Rance Cleaveland (rance "at" cs.umd.edu)

Office hours: M 2-3, Tu 2-3 / AV Williams 4111

 

Class time / classroom: TuTh 3:30-4:45 / CSI 2118

 

 

Course information [ syllabus | tentative semester schedule | lecture notes | other material from lecture ]

 

Assignments [ project information | homework assignments | submit server ]

 

Exams [ dates | sample tests ]

 

On-line resources [ Piazza (discussion site) | grades server | submit server ]