...用形式化方法描述软件约束， 以便于分析能够自动进行．目前多数动态验证研究 人员利用线性时序逻辑（LinearTemporalLogic， LTL）来描述． （3）运行轨迹分析．程序运行过程中产生的内 部、外部数据可能是大量的，需要测试／验证目标对...
基于2个网页-相关网页
...述．利用形式化方法描述软件约束， 以便于分析能够自动进行．目前多数动态验证研究 人员利用线性时序逻辑（LinearTemporalLogic， LTL）来描述． （3）运行轨迹分析．程序运行过程中产生的内 部、外部数据可能是大量的，需要测试／验证目标对...
基于2个网页-相关网页