Formal Methods Foundation

Resources

Textbooks and Reference

There are no required textbooks for this course, for no single book will cover the contents of this course in sufficient depth and width. Instead, we'll follow the lecture notes handed out in class closely. For those who are anxious for this, here are some books for reference:

Softwares

  • Coq: an interative proof assistant
  • F#: Microsoft's next-generation functional language
  • TeX & LaTeX: a scientific document preparing system. It's also helpful to use this package to typeset proof and this one to typeset code.