`Travelled to:`

1 × Canada

1 × Denmark

1 × USA

`Collaborated with:`

K.Hamaguchi S.Yajima S.Meki H.Ochi

`Talks about:`

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

## Person: Hiromi Hiraishi

### DBLP: Hiraishi:Hiromi

### Contributed to:

### Wrote 5 papers:

- 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.