ASMETA

MaRDI QIDQ54922swMATHFDO

Official website https://asmeta.github.io

Source code repository https://github.com/asmeta/asmeta

Cited in

(6)

• A data-flow approach to test multi-agent ASMs
• The ASMETA approach to safety assurance of software systems
• CoMA
• AsmetaSMV
• ASM Workbench
• Coverlipse

This page was built for software: ASMETA