机译:验证程序的时间属性:并行方法
ICTT and ISN Laboratory, Xidian University;
ICTT and ISN Laboratory, Xidian University;
ICTT and ISN Laboratory, Xidian University;
ICTT and ISN Laboratory, Xidian University;
Runtime verification; Full regular properties; Parallel; Program verification; Model checking;
机译:通过动态程序执行验证程序的完全常规时间属性
机译:审查并行程序的规范和验证方法,包括数据流方法
机译:使用二阶锥规划方法对时空滤波器进行优化设计和验证
机译:通过惰性抽象验证C程序的时间属性
机译:基于分析的验证:一种用于确保机械程序属性的面向程序员的方法。
机译:RRAM读取波动对程序验证方法的影响
机译:参数化并发程序和并发数据结构的时间属性的形式验证
机译:基于自动机的运行程序时间属性验证