Knowledge improvement (theoretical research)

Modell ellenőrzési probléma. Matematikai módszerekkel hardver-szoftver rendszerek, adott specifikáció szerinti, helyes működésének ellenőrzése, illetve hiba megtalálása. Az utóbbi években ezen a területen mind az elméleti módszerekben, mind a konkrét megvalósítás terén számos áttörés volt, így esetenként igen nagy, akár 10 a tizediken állapotszámú rendszereket is sikerült alkalmas absztrakcióval és eszközökkel verifikálni.