作为一种动态知识表示形式,动态时序逻辑( DLTL)尤适用于正规程序验证,然而它不直接支持测试动作,这使得其应用受到一定限制.
基于12个网页-相关网页
动态时序逻辑
Dynamic temporal logic
以上为机器翻译结果，长、整句建议使用 人工翻译 。
给出了一种动态系统行为的描述关系一时序活动逻辑关系，为进一步分析动态系统行为奠定了基础。
It provides a kind of relation - the scheduling - activity relation describing the behavior of dynamic system, which lays the foundation for analyzing for the behavior of dynamic system.
youdao
应用推荐
模块上移
模块下移
不移动