The translation rules from HDPN description to the input language of model checker-NuSMV are presented. Therefore,an integrated framework for ASIP architecture verification is built.
建立了HDPN描述和模型检测描述之间的转换规则,形成一个完整的ASIP体系结构验证框架。
参考来源 - ASIP体系结构形式化建模与验证方法研究·2,447,543篇论文数据,部分数据来源于NoteExpress
After accepting a grammar of some language and its translation rules, TDCS can directly form a translator for the given language.
这种系统采纳了某种语言语法和某些翻译规则后,它就能构造出这种语言的翻译器。
The translation of query expressions is demonstrated through a series of examples in the following. A formal description of the translation rules is provided in a later section.
查询表达式的转换通过一系列例子示范如下。正式的转换规则的描述在后面部分。
This process involves translation to the local language; the proper setting of date, number, and currency formats; sorting rules; etc.
这个过程涉及到本地语言的翻译;日期、数值和货币符号的正确设置;排序规则等。
应用推荐