Model checking in isomorphic module systems

• المؤلفون الرئيسيون: Wang, Weilin, Su, Rong, Lin, Liyong, Gong, Chaohui
• مؤلفون آخرون: School of Electrical and Electronic Engineering
• التنسيق: مقال
• اللغة: English
• منشور في: 2020
• الموضوعات: Engineering::Electrical and electronic engineering; Automata; Discrete Event Systems
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/137873

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....