This course aims to introduce formal software specification. The main contents include formal specification language, requirements specification, pre and post conditions, formal software design modeling, formal verification and model checking tools with some practical case studies.

CILO-1: An ability to interpret and describe the concepts of formal software specification. CILO-2: An ability to define requirements with a formal specification language. CILO-3: An ability to specify software design in a formal specification language. CILO-4: An ability to apply the learned techniques to some practical case studies.