BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hiraishi:Hiromi

Contributed to:

CAV 19921992
CAV 19911991
CAV 19901990

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.