A Model Partitioning Method in Model Checking for Information and Control System Kei KOGAIYoshikazu UEDA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2025/10/01 Vol. E108-DNo. 10 ;
pp. 1170-1182 Type of Manuscript: PAPER Category: Software Engineering Keyword: model checking, state space explosion, clustering, modularity,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/11/01 Vol. E84-ANo. 11 ;
pp. 2881-2884 Type of Manuscript: Special Section LETTER (Special Section on Concurrent Systems Technology) Category: Keyword: Petri net, legal firing sequence problem, partial order methods, stubborn sets, state space explosion,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1998/04/25 Vol. E81-ANo. 4 ;
pp. 532-539 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: Petri nets, state space explosion, partial order semantics, unfolding,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1995/11/25 Vol. E78-ANo. 11 ;
pp. 1479-1486 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design) Category: Keyword: state space explosion, discrete event systems, concurrent systems, system verification,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1995/11/25 Vol. E78-ANo. 11 ;
pp. 1504-1510 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design) Category: Keyword: signal transition graph, occurrence net, asynchronous circuit, derive logic functions, state space explosion,
Reduced State Space Generation of Concurrent Systems Using Weak Persistency kunihiko HIRAISHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1994/10/25 Vol. E77-ANo. 10 ;
pp. 1602-1606 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications) Category: Keyword: state space explosion, discrete event systems, concurrent systems, system verification,