English translation for "formal verification of programs"

程序的形式验证

Related Translations:

formal:  adj.1.正式的。2.礼节上的，仪式上的；郑重其事的。3.形态的，外形的；形式上的；拘泥形式的，刻板的。4.布置整齐的，有条理的。5.正规的，合乎规格的。6.【语言】规范化的，书面语的，正规的〔非俗语、俚语的〕。短语和例子a formal receipt 正式收据。 a formal call 正式访问。 a formal manner 郑重其事的态度。 formal l

formal attribute:  形式属性

formal interview:  正式面谈

formal syntax:  形式语法

formal isomer:  形状同质异能素

formal diagnosis:  正规诊断

formal dress:  礼服

formal justic:  形式上的公正, 形式上的正义形式上的正义

formal pragmatics:  形式语用学

formal source:  正式渊源

Similar Words：

"formal upper bound" English translation, "formal value parameter" English translation, "formal variable" English translation, "formal variable procedure parameter" English translation, "formal verification" English translation, "formal walkthrough" English translation, "formal-actualparametercorrespondence" English translation, "formal-informal sector" English translation, "formalactual parameter correspondence" English translation, "formalandinformallanguage" English translation