формальна верифікація

Стартап &Truth долучився до автоматизації формальної верифікації ПЗ

Стартап &Truth долучився до змагання за автоматизацію формальної верифікації програмного забезпечення.