581366

Spesifioinnin ja verifioinnin perusteet
Grunderna i specificering och verifiering
Introduction to Specification and Verification
581366
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.

Course pages