582463

Spesifioinnin ja verifioinnin jatkokurssi
Fortsättningskurs för specificering och verifiering
Advanced Course on Specification and Verification
582463
6
Networking and Services
Advanced studies
Kurssilla keskitytään prosessialgebroihin ja ekvivalensseihin perustuvaan verifiointiin. Erityisesti käsitellään siirtymäsysteemit ja niiden laajenukset reaaliaikasovelluksiin, ekvivalensseja, prosessialgebrojen aksiomatisointia, pi-kalkyyli ja tietoturvaprotokollien verifiointi.

Re-occurence

Discontinued

Upcoming separate exams

No exams.

Course pages

No courses yet.