An Improvement of Software Architecture Verification

Abstract

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

Topics

  • Presentations referencing similar topics