# DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour

> Research article (Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017) · cited 15× · AI/ML

**Wikidata**: [openalex:W2740310865](https://www.wikidata.org/wiki/openalex:W2740310865)  
**Source**: https://4ort.xyz/entity/dynalloy-analyzer-a-tool-for-the-specification-and-analysis-of-alloy-models-with-dynamic-behaviour