On the use of rewriting logic for verification of distributed software architecture description based LfP

Abstract

Software architecture description languages (ADLs) allow software designers to focus on high level aspects of an application by abstracting from the details of the components that compose architecture. It is precisely this abstraction that makes ADLs suitable for verification using model checking techniques. ADLs are, in a way, domain-specific languages for… (More)
DOI: 10.1109/RSP.2005.34

14 Figures and Tables

Topics

  • Presentations referencing similar topics