Hiromu Kamide

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 2

Top Topics

Deterministic Finite Automaton

Automated Verification

Reactive Systems

Top Venues

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)