Примеры в контексте "Prover - Теорем"

Перевод

Примеры

Примеры: Prover — Теорем

• Like ESC/Java, it includes a static checking tool based on a theorem prover that is able to statically verify many of these invariants.

  Как и ESC/Java, язык содержит инструмент статической проверки, основанный на доказательстве теорем, позволяющий статически проверять большинство таких инвариантов.

• Dependent ML employs a constraint theorem prover to decide a strong equational theory over the index expressions.

  Dependent ML основывается на ограниченном доказательстве теорем для вывода теории строго равенства через индексные выражения.

• Attempts have also been made to validate Anselm's proof using an automated theorem prover.

  Были сделаны попытки для проверки доказательства Ансельма с использованием автоматизированного доказательства теорем.

Другие варианты перевода слова prover

• Контрольно-технического стенда
• Средство контроля
• Шкаф для расстойки