Отзыв о Imandra от Aaron Carney
Очень полезный инструмент для работы с LISP и не только
Легкость, с которой мы можем управлять нашей собственной моделью, чтобы доказать свойства или опровергнуть их! Это также быстро и легко. Мы использовали его в основном для доказательства/опровержения инвариантов цикла (LI). Я не знаю других инструментов, подобных этому; пока это почти то, что вам нужно, если вы хотите внедрить LISP в свою кодовую базу. При использовании этого инструмента ничего конкретного не возникает, но, может быть, знакомство поможет? Не делайте предположений относительно того, насколько знакомы другие с их использованием. Попробуйте перед покупкой — на самом деле нет никакого способа обойти это, если только они не предлагают бесплатные пробные периоды. Доказательство инварианта цикла было важной частью моей дипломной работы.
- Отличный пользовательский интерфейс и фантастическая поддержка! В этом продукте есть все, что мне нужно, и даже больше. Отличное место, где инженеры проводят время, работая над ошибками, определяя ограничения для этих ошибочных частей. Хорошая вещь от меня. Я доволен ... у меня нет ничего отрицательного здесь ... просто рекомендую людям получить это программное обеспечение как можно скорее .... оно работает
- Сложно сказать
