Towards a formal semantics for AADL execution model

Authors
Publication date
29 January 2008
Publisher
HAL CCSD

Abstract

International audienceIn 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

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Scientific Publications of the University of Toulouse II Le Mirail

    redirect
    oaioai:HAL:hal-02269846v1
    Last time updated on 20/03/2021