Imandra Отзыв

Инструмент можно использовать с Java, Scala или Clojure, поэтому это легко сделать, если вы уже знаете эти языки, но у нас также есть пользователи, которые вообще их не используют, которым нравится использовать наш продукт, потому что они знакомы с другими инструментами на своем языке (такими как как С#). Нам больше пошло бы на пользу поддержка Kotlin, которая, как я полагаю, недавно была проблемой, из-за которой это больше не работало должным образом, хотя, может быть, с тех пор ситуация…

Легкость, с которой мы можем управлять нашей собственной моделью, чтобы доказать свойства или опровергнуть их! Это также быстро и легко. Мы использовали его в основном для доказательства/опровержения инвариантов цикла (LI). Я не знаю других инструментов, подобных этому; пока это почти то, что вам нужно, если вы хотите внедрить LISP в свою кодовую базу. При использовании этого инструмента ничего конкретного не возникает, но, может быть, знакомство поможет? Не делайте предположений относительно…

Возможность выполнять крупномасштабную аналитику без каких-либо знаний о Hadoop или Apache Spark — это отличный опыт работы с этим инструментом! На самом деле ничего, что мне не нравилось до сих пор, но было бы неплохо, если бы была доступная документация, такая как другие инструменты от Red Hat, в виде учебных пособий, руководств и т. д., что также увеличит скорость их принятия конечными пользователями. Это хороший вариант, когда у вас ограниченные ресурсы, где может быть невозможным /…