Old Web
English
Sign In
Acemap
>
Paper
>
Model Checking of Embedded Assembly Program Based on Simulation
Model Checking of Embedded Assembly Program Based on Simulation
2017
Satoshi Yamane
Ryosuke Konoshita
Tomonori Kato
Keywords:
Computer architecture
Computer science
Model checking
Programming language
Correction
Source
Cite
Save
Machine Reading By IdeaReader
16
References
7
Citations
NaN
KQI
[]