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