Kutatási projekt
Modell ellenőrzés
KUTATÓMŰHELYEK
KUTATÓK
EGYETEMI EGYSÉGEK
TUDOMÁNYÁGAK
HASZNOSÍTHATÓSÁG SZINTJE
Ismeretbővítő kutatás (alap- elméleti kutatás)
KULCSSZAVAK
KUTATÁSI PROJEKT LEÍRÁSA
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.