Model Proving 模型检验
The model and program were proved right through theory analysis and examples proving.
通过理论研究和实例验证,证明了模型和程序是正确的。
The concept is based on the idea of a cooperative community - a model that is proving increasingly popular, with similar recent examples in Belgium, the UK and Germany.
这个概念基于“合作团体”的想法——最近在比利时、德国和英国都有类似案例,它是一个越来越受欢迎的社区模式。
To check consistency of UML model, the consistency checking is converted to a problem of theorem proving.
在检验u ML模型一致性时,把一致性检验问题转化为逻辑定理证明问题。
应用推荐