# Dynamic Software Architectures Verification using DynAlloy

> Research article (http://publicaciones.dc.uba.ar/Publications/2008/BG08/bg-gt-vmt2008.pdf, 2024) · cited 19× · AI/ML

**Wikidata**: [openalex:W2165014417](https://www.wikidata.org/wiki/openalex:W2165014417)  
**Source**: https://4ort.xyz/entity/dynamic-software-architectures-verification-using-dynalloy