A new symbolic model checking tool was built based on this algorithm.

并且基于该算法开发出新的符号模型检测工具。

youdao

Apart from three traditional narrative models, namely, "narration", "experience" and "plot", he has applied a unique symbolic model.

他于传统的“纪事型”、“感事型”、“情节型”三种叙事模式之外，运用了独特的象征型叙事模式。

youdao

A solution for property verification of synchronous VHDL design is introduced, and VERIS an efficient symbolic model checker is implemented.

介绍了一个针对同步时序电路VHDL设计的性质验证的解决方案——一个有效的符号模型判别器veris。

youdao

Nevertheless, this marks a symbolic step as broadcasters figure out how to use the Internet without sacrificing its existing business model.

FORBES: NBCUniversal Shows Episodes Via iPad, Comcast Going To $27