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

Hiromu Kamide, Kosuke Uemura, Satoshi Yamane

Browse the full COMPSAC paper archive.