Model checking software architecture design

• Main Authors: Zhang, Jiexin, Liu, Yang, Sun, Jing, Dong, Jin Song, Sun, Jun
• Other Authors: School of Computer Engineering
• Format: Conference or Workshop Item
• Language: English
• Published: 2013
• Subjects: DRNTU::Engineering::Computer science and engineering
• Online Access: https://hdl.handle.net/10356/99057; http://hdl.handle.net/10220/12815
• Institution: Nanyang Technological University

Software Architecture plays an essential role in the high level description of a system design. Despite its importance in the software engineering practice, the lack of formal description and verification support hinders the development of quality architectural models. In this paper, we present an a...