CprE412x Formal Aspects of Software Verification

Fall 2005


General Information:

 

Instructor

Teaching Assistant

Name

Dr. Ratnesh Kumar

Qin Wen

Phone

515-294-8523

 

Email

rkumar@iastate.edu

wenqin@iastate.edu

Lecture

MWF 12:00-1:00PM

Coover 1207

Office Hour

MWF 2:00-3:00PM , Coover 3217

TR 11:00AM-12:00PM , Coover 3208

 


Syllabus, Textbook & References

 

Syllabus

Textbook Homepage

Reference Book1

Reference Book2


Lectures

 

Lecture Notes

Dr. Steve Miller's Lecture


Assignment & Solutions

 


Other Web Resources

PVS

SMV

NuSMV

Bandera

Robbin's Conjecture