Formal Verification of AADL Specifications in the Topcased Environment

  title={Formal Verification of AADL Specifications in the Topcased Environment},
  author={Bernard Berthomieu and Jean-Paul Bodeveix and Christelle Chaudet and Silvano Dal-Zilio and Mamoun Filali and François Vernadat},
We describe a formal verification toolchain for AADL, the SAE Architecture Analysis and Design Language, enriched with its behavioral annex. Our approach is based on tools that are integrated in the Topcased environment. We give a high-level view of the tools involved and illustrate the successive transformations that take place during the verification process. 
Highly Cited
This paper has 55 citations. REVIEW CITATIONS

5 Figures & Tables



Citations per Year

56 Citations

Semantic Scholar estimates that this publication has 56 citations based on the available data.

See our FAQ for additional information.