Model Check of Real-time Property of Embedded Assembly Program Using CEGAR
Hiromu Kamide, Kosuke Uemura, Satoshi Yamane · 2018
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.