On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP

Authors:
Chadlia Jerad;Kamel Barkaoui
Affiliations:
LSTS - ENIT;CEDRIC - CNAM
Venue:
RSP '05 Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping
Year:
2005

Citing 0
Cited 2

A classification and comparison of model checking software architecture techniques

Journal of Systems and Software
Hierarchical verification in maude of Lf P software architectures

ECSA'07 Proceedings of the First European conference on Software Architecture

Quantified Score

Hi-index	0.00

Visualization

Abstract

Most embedded systems consist of distributed but highly interconnected applications. Lots of resources are invested to design and implement reliable and efficient communication systems. This paper introduces a new approach for the prototyping of communication ...