Courses / Module

Toggle Print

Module SOFTWARE VERIFICATION

Module code: CS357FZ
Credits: 5
Semester: 1
Department: INTERNATIONAL ENGINEERING COLLEGE
International: No
Overview Overview
 

Motivation for software verification and formal methods; overview of syntax and semantics and formal proofs in first-order logic; Design by Contract; Hoare logic and program verification; SMT solvers; temporal logic and model checking; brief case studies using selected formal methods.

Open Learning Outcomes
 
Open Teaching & Learning methods
 
Open Assessment
 
Open Autumn Supplementals/Resits
 
Open Timetable
 
Back to top Powered by MDAL Framework © 2022
V5.3.3 - Powered by MDAL Framework © 2022