# EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles

> Research article (Applied Soft Computing, 2016) · cited 30× · AI/ML

**Wikidata**: [openalex:W2470740433](https://www.wikidata.org/wiki/openalex:W2470740433)  
**Source**: https://4ort.xyz/entity/emcdm-efficient-model-checking-by-data-mining-for-verification-of-complex-software-systems-specified-through-architectur