инструменты формальных методов

Решатель Решатель — часть математического программного обеспечения, решающая математические задачи.  Решатели разрабатываются для решения задач аналогичного типа.  Типы решателей включают […]