作者：基于模型的分析使用了一个模型程序——一种可执行的规格说明书——去检测规格说明或者设计，例如包含了对通信协议的检测。
Authors: Model-based analysis USES a model program — a kind of executable specification — to check specifications or designs, including communication protocols for example.
本说明书的内容不可构成或优先与原有的契约，协议(包括口头协议)或合同关系的部分。
The contents of this instruction manual shall not become part of or modify any prior or existing agreement, commitment or relationship.
本说明书未包括事项应由双方协议确定。
Any other items which are not covered in this specification shall be agreed by both parties.
应用推荐