This course introduces the basic theories and techniques of formal methods for software engineering. This includes the introduction to formal semantics, program verification, and formal specification and development methods.

CISB353