Hiromi Hiraishi

From MaRDI portal
Person:1199534

Available identifiers

zbMath Open hiraishi.hiromiMaRDI QIDQ1199534

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
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
https://portal.mardi4nfdi.de/entity/Q38121731988-01-01Paper

Research outcomes over time

This page was built for person: Hiromi Hiraishi

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