An Improvement of Software Architecture Verification


Static analysis may cause state space explosion problem. In this paper we explore differential equation model that makes the task of verifying software architecture properties much more efficient. We demonstrate how ordinary differential equations can be used to verify application-specific properties of an architecture description without hitting this… (More)
DOI: 10.1016/j.entcs.2009.07.005

9 Figures and Tables


  • Presentations referencing similar topics