CS 4160 Formal Verification
Spring 2019

Textbook

Software Foundations by Benjamin C. Pierce et al.

Coq Resources

• Coq Installation
• Coq Manual
• Coq Standard Library
• Coq Survival Kit
• 3110 Coq Tactic Cheatsheet

Office Hours

• Prof. Clarkson: Gates 461, Wednesday, 10:30 am – noon
• Samantha Deng: Rhodes 406, Friday, 11:40 am – 12:40 pm
• Tjaden Hess: Rhodes 405, Monday, 3:30 pm – 4:30 pm
• Devin Lehmacher: Rhodes 405, Tuesday, noon – 1:00 pm
• Devin Smedira: Rhodes 402, Wednesday, 5:00 pm – 6:00 pm
• Weiyu Wang: Rhodes 408, Thursday, 5:00 pm – 6:00 pm