K
Kiyoharu Hamaguchi
Researcher at Osaka University
Publications - 38
Citations - 766
Kiyoharu Hamaguchi is an academic researcher from Osaka University. The author has contributed to research in topics: Model checking & Formal verification. The author has an hindex of 9, co-authored 37 publications receiving 742 citations. Previous affiliations of Kiyoharu Hamaguchi include Kyoto University & Carnegie Mellon University.
Papers
More filters
Journal ArticleDOI
Another Look at LTL Model Checking
TL;DR: The SMV model checking system developed by McMillan can be extended to permit LTL specifications and the results that are obtained are quite surprising.
Book ChapterDOI
Another Look at LTL Model Checking
TL;DR: It appears that efficient LTL model checking is possible when the specifications are not excessively complicated, and the results that are obtained are quite surprising.
Book ChapterDOI
The Complexity of the Optimal Variable Ordering Problems of Shared Binary Decision Diagrams
TL;DR: It is proved that the optimal variable ordering problem of shared BDD's is NP-complete, and touch on the hardness of this problem and related problems of B DD's.
Proceedings ArticleDOI
Efficient construction of binary moment diagrams for verifying arithmetic circuits
TL;DR: A new technique called backward construction is presented which can construct BMDs directly from circuit descriptions without any high-level information, which outperforms previous BDD-based approaches for verifying multipliers.
Book ChapterDOI
Ordered Quantum Branching Programs Are More Powerful than Ordered Probabilistic Branching Programs under a Bounded-Width Restriction
TL;DR: In this paper, a quantum branching program is introduced as an extension of a classical probabilistic branching program, and a comparison of the power of these two models is made. But it is not yet clear whether there is a computational gap between the model that may use quantum effects and the model which may not.