The operations, the invariants and the preconditions produce a set of proof obligations that must be formally proven every time a system model is enriched with additional design details.
操作、不变式和前置条件生成一系列证明义务。
参考来源 - 形式化B方法验证技术研究及其应用·2,447,543篇论文数据，部分数据来源于NoteExpress
公司出资证明责任是指公司出资证明机构违反公司出资证明义务的情形下所承担的责任。
Company funding testifying liability is mainly the civil liability. the main imputation principles are intentional responsibility principle and non-intentional responsibility principle.
克莱姆森大学的心理学家辛西娅·普里认为，派德勒斯的故事证明了一点：勇气并非来自无畏，而是来自道德义务。
According to Cynthia Pury, a psychologist at Clemson University, Pedeleose's story proves the point that courage is not motivated by fearlessness, but by moral obligation.
发言人不必去向任何人“说服”任何事，去承担证明责任或自我辩护也不是他们的义务。
Speakers have no need to "convince" anyone of anything, nor are they obligated to bear the burden of proof or self-justification.
应用推荐