Dalam mata kuliah ini mahasiswa diperkenalkan kepada beberapa teknik untuk memverifikasi dan memvalidasi sistem-sistem yang reaktif. Dengan verifikasi dan validasi, kebenaran (correctness) dari suatu sistem atau program, baik fungsional maupun dari segi waktu dan performance, dapat ditentukan.