Login / Signup
Kosuke Uemura
Publication Activity (10 Years)
Years Active: 2018-2020
Publications (10 Years): 2
Top Topics
Dynamic Analysis
Automated Verification
Reactive Systems
Model Checking
Top Venues
GCCE
COMPSAC (1)
</>
Publications
</>
Satoshi Yamane
,
Kosuke Uemura
Comparative Experiment of SPIN and SMT in Model Checking of Embedded Assembly Program.
GCCE
(2020)
Hiromu Kamide
,
Kosuke Uemura
,
Satoshi Yamane
Model Check of Real-time Property of Embedded Assembly Program Using CEGAR.
COMPSAC (1)
(2018)