Prover – phrases

Terms for subject Programming containing Prover | all forms | exact matches only

English	Russian
formal prover	инструмент формальной верификации кода (Electronic Design Alex_Odeychuk)
optimizing theorem prover	доказатель оптимизационных теорем (Microsoft Alex_Odeychuk)
theorem prover	инструмент автоматического доказательства теорем (Alex_Odeychuk)
verifier and prover toolchain	набор инструментальных средств формальной верификации и доказательства корректности программного обеспечения (Alex_Odeychuk)