CS 4160 Formal Verification
Spring 2020

Course Information

• Syllabus
• Schedule of lectures and assignments
• Assignment policies and details
• Coq installation for 4160

Coq Resources

• Coq Manual
• Coq Standard Library

Systems

• CMS
• Campuswire

Office Hours

See the pinned Campuswire post.