...
机译:并发运行时监视正式指定的程序
Stanford Univ., CA;
formal specification; parallel programming; specification languages; system monitoring; Anna; annotated Ada; checking code; diagnostic information; formal specification constructs; formal specification language; program execution; specification consistency; subtype annotations; underlying program;
机译:运行时死锁跟踪和防止并发多线程程序:一种基于学习的方法
机译:VYRD:通过运行时优化-违规检测验证并发程序
机译:运行时硬件Trojan通过使用正式验证对突发模式通信建模来监视
机译:对基于规则的编程模型进行分散运行时的部署和评估
机译:面向方面的编程作为运行时监视的正式框架。
机译:数据中心规模的Blaze FPGA加速器部署的编程和运行时支持
机译:参数化并发程序和并发数据结构的时间属性的形式验证
机译:正式指定程序的并发运行时监视