Towards a formal semantics for AADL execution model
Résumé
In this paper, we present a specification in TLA+ of an AADL execution model. This formal specification is used forderiving a prototype verification tool for AADL the TOPCASED development environment.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...