![](/img/cover-not-exists.png)
Verification Method of Safety Properties of Embedded Assembly Program by Combining SMT-Based Bounded Model Checking and Reduction of Interrupt Handler Executions
Yamane, Satoshi, Kobashi, Junpei, Uemura, KosukeVolume:
9
Journal:
Electronics
DOI:
10.3390/electronics9071060
Date:
June, 2020
File:
PDF, 1.67 MB
2020