Data-intensive applications; Distributed systems; Formal verification; Storm technology; Metric temporal logic;
机译:具有线性时间逻辑的行为树正式验证的框架
机译:SMIL文档中的时间和空间相干验证,具有逻辑和析出约束:混合形式方法
机译:通过时态逻辑中的计算机演绎形式对嵌入式逻辑控制器规范进行形式验证
机译:通过公制时间逻辑正式验证数据密集型应用程序
机译:Web应用程序运行时验证的正式框架:范围扩展的线性时间逻辑支持的方法
机译:形式逻辑及其在医学中的应用概述-II。
机译:通过度量时间逻辑实现对数据密集型应用程序的形式验证
机译:不使用时态逻辑验证时态属性