Model Checking of Real-Time Properties for Embedded Assembly Program Using Real-Time Temporal Logic RTCTL and Its Application to Real Microcontroller Software

Yajun WU  Satoshi YAMANE  

Publication:   IEICE TRANSACTIONS on Information and Systems
Publicized: 2020/01/06
DOI: 10.1587/transinf.2019EDP7172
Full Text: PDF(1.7MB)