`Travelled to:`

1 × Canada

1 × Denmark

2 × USA

`Collaborated with:`

H.Hiraishi S.Yajima E.M.Clarke O.Grumberg S.Meki H.Ochi

`Talks about:`

model (5) logic (5) check (5) time (4) regular (3) tempor (3) branch (3) verif (3) vector (2) symbol (2)

## Person: Kiyoharu Hamaguchi

### DBLP: Hamaguchi:Kiyoharu

### Contributed to:

### Wrote 6 papers:

- CAV-1994-ClarkeGH #ltl #model checking
- Another Look at LTL Model Checking (EMC, OG, KH), pp. 415–427.
- CAV-1992-HamaguchiHY #branch #design #logic #using #verification
- Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic (KH, HH, SY), pp. 206–219.
- CAV-1991-HamaguchiHY #branch #logic #model checking #using #verification
- Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic (KH, HH, SY), pp. 410–420.
- CAV-1991-HiraishiHOY #logic #model checking #verification
- Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification (HH, KH, HO, SY), pp. 214–224.
- CAV-1990-HamaguchiHY #branch #complexity #linear #logic #model checking
- Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity (KH, HH, SY), pp. 253–262.
- CAV-1990-HiraishiMH #logic #model checking
- Vectorized Model Checking for Computation Tree Logic (HH, SM, KH), pp. 44–53.