Introduction to the specification languages Z for data, CSP for processes, and their combination CSP-OZ for reactive systems with data and process parts.
Professional competence The students:
specify data and processes with Z, CSP and CSP-OZ formally
check data refinement relations formally
verify CSP-OZ specifications with FDR model checker
Methodological competence The students: - are able to integrate complementary specification methods
Social competence The students:
work together in small groups to solve problems
present solutions to problems to groups of other students
