Courses / Module

Toggle Print

Module SOFTWARE VERIFICATION

Module code: CS357
Credits: 5
Semester: 1
Department: COMPUTER SCIENCE
International: Yes
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 Repeat options
 
Open Pre-Requisites
 
Open Timetable
 
Back to top Powered by MDAL Framework © 2019
V5.2.0 - Powered by MDAL Framework © 2019