582463
Spesifioinnin ja verifioinnin jatkokurssi
Fortsättningskurs för specificering och verifiering
Advanced Course on Specification and Verification
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.