PanLinx: probabilistic verification

English	eng-000
probabilistic verification

русский	rus-000	вероятностная верификация
русский	rus-000	проверка по вероятности

PanLex-PanLinx