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.