AADL in ProVerBArchitecture Analysis and Design Language

Links

• https://en.wikipedia.org/wiki/Architecture_Analysis_%26_Design_Language
• https://www.sei.cmu.edu/our-work/projects/display.cfm?customel_datapageid_4050=191439,191439
• http://www.sei.cmu.edu/dependability/tools/aadl/
• https://insights.sei.cmu.edu/blog/code-generation-with-aadl-a-state-of-the-art-report/

Tools

• AGREE

1 items on this list.