# Exploring AADL verification tool through model transformation

> Research article (Journal of Systems Architecture, 2015) · cited 26× · AI/ML

**Wikidata**: [openalex:W2036104167](https://www.wikidata.org/wiki/openalex:W2036104167)  
**Source**: https://4ort.xyz/entity/exploring-aadl-verification-tool-through-model-transformation