1) T&V (test and verify program)
检验证明程序
2) prove
[英][pru:v] [美][pruv]
证明检验
4) verify
[英]['verɪfaɪ] [美]['vɛrə'faɪ]
证明,检验
5) program testifying
程序证明
1.
Furthermore, It illuminates how to use VDM technology to develop program, and program testifying with function and operation fo.
阐述了形式化分析方法的特点,具体说明了维也纳分析方法规格说明的两种规范:模块化说明与非模块化说明,及程序证明性依据:基于函数与操作的形式化规格说明。
补充资料:商品检验证明书
商品检验证明书
[商品检验证明书1 1.检验证书的作用 (l)证明出口货物已达到某种标准。国际贸易中,货物要经过长途运输才能到达买方手中。由于不能当面交货和验收,双方就产品的品质、数量、残损等往往会出现争议。卖方在发货前如经有资格的检验人验货并签发了检验证书,说明事实状态,就可明确责任归属,减少纠纷。 (2)计价的依据。有的合同中规定,产品是按等级分等论价,或对有效成份订有增减价格条款、检验证书所证明的项目和品质等级是对内对外计算价格的依据。它直接关系到买卖双方的经济利益。 (3)报关验收的有效证明。各国为了维护本国的利益,对某些进出口产品的品质、数量、包装、卫生、安全等制定了某些法律和行政法规,规定了限定性的标准进行检验管理。同时规定当事人必须提交符合规定的检验证书,才准许进出口。如多数国家对进口的食品,规定当事人必须持有法令规定的出口国有关当局签署的检验证明,才可办理进口;法律规定实行强制性检验的产品,当事人必须持有法规规定的检验机构签发的证书,才能向海关申报放行。 (4)办理索赔作为仲裁或诉讼的证明文件。进口产品在合同中大都原则规定,货到目的地后,经指定检验人检验,如发现品质或重(数)量等与合同规定不符时,凭检验证书向卖方提出退货或索赔,或对属于保险、运输方面责任的,则根据责任的归属向有关方面索赔。所以检验证书是索赔的证明文件。同时,在国际贸易中,买卖双方发生争议后,进行仲裁或诉讼时,检验证书又是向仲裁庭或法院举证的有效证件。 2.检验机构 出具检验证书的机构,应是独立于买卖双方的第三者,以便能从公正的立场作出客观的检验结果。一般国家都没有专业性的商品检验和鉴定机构,接受委托进行商品检验与公证鉴定工作。这些机构有的是国家设立的官方机构,如我国的中国商品检验局,有的是私人或同业公会等开设的民间公证机构,如英国的劳合公证行(uoyd’5 surveyor),瑞士的日内瓦通用鉴定公司(Soeiete Gene耐ede Surveillanee 5.A.)等。在信用证允许或要求时,还可由出口方自己或买方出具检验证书。 3.检验证书的种类 检验证书种类有许多,具体使用哪种,主要取决于商品性质和有关国家的商检规定。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条