Login / Signup
Ryosuke Konoshita
Publication Activity (10 Years)
Years Active: 2014-2017
Publications (10 Years): 1
Top Topics
Transition Systems
Formal Specification
Temporal Properties
Model Checking
Top Venues
IEICE Trans. Inf. Syst.
GCCE
</>
Publications
</>
Satoshi Yamane
,
Ryosuke Konoshita
,
Tomonori Kato
Model Checking of Embedded Assembly Program Based on Simulation.
IEICE Trans. Inf. Syst.
(8) (2017)
Ryosuke Konoshita
,
Kouhei Sakurai
,
Satoshi Yamane
Model generation by the exhaustive search for embedded assembly programs and application to model checking.
GCCE
(2014)