Model Check of Real-time Property of Embedded Assembly Program Using CEGAR

Model Check of Real-time Property of Embedded Assembly Program Using CEGAR
复制标题

利用CEGAR对嵌入式汇编程序实时性进行模型检验

DOI：
10.1109/compsac.2018.00126
复制
发表时间：
2018
期刊：
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)
影响因子：
--
通讯作者：
Satoshi Yamane
Satoshi Yamane
中科院分区：
--
文献类型：
--
作者：
Hiromu Kamide;Kosuke Uemura;Satoshi Yamane

文献摘要

被引文献

相似文献

在程序验证的研究中，使用抽象的方法最近一直在积极进行。在本研究中，我们提出一种将抽象与精化技术应用于嵌入式汇编程序的实时性验证方法。
In program verification research, the methods using abstraction have been actively conducted recently. In this research, we propose a method for verifying real-time property by applying abstraction and refinement technique to embedded assembly program.