Login / Signup
Hiromu Kamide
Publication Activity (10 Years)
Years Active: 2018-2020
Publications (10 Years): 2
Top Topics
Deterministic Finite Automaton
Automated Verification
Reactive Systems
Model Checking
Top Venues
GCCE
COMPSAC (1)
</>
Publications
</>
Yajun Wu
,
Hiromu Kamide
,
Satoshi Yamane
Software Model Checking for Real-time Properties of Embedded Assembly Programs Based on Lazy Abstraction and Refinement.
GCCE
(2020)
Hiromu Kamide
,
Kosuke Uemura
,
Satoshi Yamane
Model Check of Real-time Property of Embedded Assembly Program Using CEGAR.
COMPSAC (1)
(2018)