Model checking in isomorphic module systems

With a growing number of interacting modules in today's complex systems, finding an effective tool for detecting design errors has become increasingly challenging. We present procedures for analyzing blocking or deadlock in systems consisting of isomorphic modules instantiated from a template....

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron: Wang, Weilin, Su, Rong, Lin, Liyong, Gong, Chaohui
Awduron Eraill: School of Electrical and Electronic Engineering
Fformat: Journal Article
Iaith:English
Cyhoeddwyd: 2020
Pynciau:
Mynediad Ar-lein:https://hdl.handle.net/10356/137873