А какой у вас опыт формальной верификации?
So‘rovnoma
- Formal Enjoyer. JasperGold, VC Formal - мои лучшие друзья
- В компании активно не используем, но пытаемся разобраться и интегрировать formal в цикл разработки
- И без формалки справляемся: на неё нет ресурсов и времени