PanLinx
українська
ukr-000
формальна верифікація
English
eng-000
formal verification
русский
rus-000
формальная верификация
PanLex