Kiyoharu Hamaguchi

From MaRDI portal
Person:1199533

Available identifiers

zbMath Open hamaguchi.kiyoharuMaRDI QIDQ1199533

List of research outcomes





PublicationDate of PublicationType
Vectorized symbolic model checking of computation tree logic for sequential machine verification2024-04-29Paper
Formal verification of speed-dependent asynchronous circuits using symbolic model checking of Branching Time Regular Temporal Logic2024-04-29Paper
Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic2008-11-20Paper
Automated Technology for Verification and Analysis2006-10-25Paper
https://portal.mardi4nfdi.de/entity/Q45483192002-08-26Paper
https://portal.mardi4nfdi.de/entity/Q27668572002-07-01Paper
https://portal.mardi4nfdi.de/entity/Q47034661999-12-15Paper
https://portal.mardi4nfdi.de/entity/Q42533451999-11-08Paper
https://portal.mardi4nfdi.de/entity/Q42684451999-10-31Paper
https://portal.mardi4nfdi.de/entity/Q40373901993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40371271993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40371011993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40373731993-05-18Paper
\(\infty\)-regular temporal logic and its model checking problem1993-01-16Paper

Research outcomes over time

This page was built for person: Kiyoharu Hamaguchi

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1199533&oldid=6028233"
Powered by MediaWiki