everything.study
CSI 5110

Principles of Formal Software Development

3 units

Fall 2016

Topics

  • Formal methods
  • Propositional and predicate logic
  • Coq
  • Program verification
  • Java and JML
  • Proof-carrying code
  • Protocol verification
  • Linear temporal logic and reactive systems
  • Modal logic and agents

Readings

  • Logic in Computer Science: Modelling and Reasoning about Systems
    Michael R. A. Huth; Mark D. Ryan · 2nd (2004) · Listed course textbook; available through university library
  • http://www.cs.bham.ac.uk/research/lics/
  • http://ebooks.cambridge.org/ebook.jsf?bid=CBO9780511810275
  • Selected textbook chapters 1–5; Coq tutorial sections 1.1–1.4.
Sources