581366
Spesifioinnin ja verifioinnin perusteet
Grunderna i specificering och verifiering
Introduction to Specification and Verification
5
Networking and Services
Advanced studies
The course introduces some basic concepts and techniques in the verification of distributed systems: labelled transition graphs, global state graph, trace and bisimulation equivalences, basic Lotos and linear temporal logic. Moreover, the CADP spesification and verification software will be used in the exercises.
Re-occurence
Every second year
Upcoming separate exams
No exams.