Concurrent computing; Instruction sets; Interference; Programming; Cognition;
机译:将基于序列化的多线程C程序验证与符号性部分顺序缩减相结合
机译:多线程程序的回归验证(具有锁的扩展和动态线程的创建)
机译:多线程程序的回归验证(具有锁的扩展和动态线程的创建)
机译:扩展JML以进行模块化规范和多线程程序的验证
机译:将静态分析和运行时分析相结合,以验证和测试多线程程序。
机译:用于肺结节的计算机辅助诊断的自动推理模型构建:解释充分推理准确性和专家知识
机译:扩展JML以进行模块化规范和验证多线程程序