Courses / Module

Toggle Print

Module RIGOROUS SOFTWARE PROCESS

Module code: CS603
Credits: 7.5
Semester: 2
Department: COMPUTER SCIENCE
International: No
Overview Overview
 

Coverings the development of software – with emphasis on rigour and formality. Concepts covered include the foundations for deductive verification and model checking techniques with emphasis on the underlying logics used, state of the art tools, research developments and usage in industry. Topics include Design by Contract; Hoare Logic, Temporal Logic, Separation Logic; Intermediate Verification Languages such as Boogie or Why3, Specification Languages such as OCL, JML, Eiffel, Spec# or Event-B; Refinement, SMT Solvers, Verification of concurrent software and model checking.

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