Spesifioinnin ja verifioinnin jatkokurssi

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.
Year Semester Date Period Language In charge
2005 summer -19.08. Finnish