Old Web
English
Sign In
Acemap
>
Paper
>
The symbolic model checking by the model extraction from embedded assembly program
The symbolic model checking by the model extraction from embedded assembly program
2015
Kato Tomonori
Konoshita Ryosuke
Sakurai Kohei
Yamane Satoshi
Keywords:
model extraction
Programming language
Computer science
Model checking
The Symbolic
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]