Home


This course will focus on
  • how to formally specify a problem or a software system
  • how to use the existent tools for program/model analysis and verification
  • how to rigorously apply analysis and design methods in software development
  • ability to develop more reliable software