verifikační manažer, verification manager, ověřování modelů,
model checking, detekce chyb, error detection, DiVinE, LTL