Ps22Pdf 关键词 : 模型检测工具 ; 实时系统 ; 数据结构 ; 有限精度 ; 时间自动机 [gap=758]Key words: Model-checking Tool; Real-time Systems; Data Structure; Finite Precision; Timed Automata ..
基于20个网页-相关网页
A new symbolic model checking tool was built based on this algorithm.
并且基于该算法开发出新的符号模型检测工具。
The PROMELA language, whose commitment manners decide system executions, plays crucial role in model checking tool SPIN. This paper studies semantic engines of PROMELA.
模型检查工具SPIN的核心是PROMELA语言，对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。
应用推荐