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:
1994199219911990Wrote 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.