DynAlloy analyzer: a tool for the specification and analysis of Alloy models with dynamic behaviour
Texto / recurso
Acceso abierto
Texto / recurso
RI ITBA
"We describe DynAlloy Analyzer, a tool that extends Alloy Analyzer with support for dynamic elements in Alloy models. The tool builds upon Alloy Analyzer in a way that makes it fully compatible with Alloy models, and ext...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access