asmeta

asmeta main repository with code and examples

For more info about asmeta see: https://asmeta.github.io/

Gitlab CI

Latest Pipeline Run

Latest Coverage Result

Requirements

To use the asmeta framework in Eclipse IDE you need to install:

• Xtext Complete SDK (we use 2.40)
• GEF Classic Zest SDK (for the visualizer - we use 3.25.0)
• NuSMV to execute the asmetasmv model checker (https://nusmv.fbk.eu/)

To compile and test the asmeta framework in Eclipse IDE you need to install also:

• Eclipse Plug-in Development Environment
• JavaCC Eclipse Plug-in Feature (we use 1.6.1 - optional)
• M2E - Maven Integration for Eclipse
• M2E - PDE Integration

eclispe with asmeta ready to use:

for windows 64 bit:

https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2026_03_win64.zip

older version multiplatform

for windows 64 bit:

https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2026_02_win64.zip

for macOs aarch 64 bit:

https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2024_06_macOs_aarch64.zip

for linux 64 bit:

https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2024_06_linux_x86_64.zip

old versions (only for windows)

https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2024_06_win64.zip

https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2025_09_win64.zip

https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2025_06_win64.zip

https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2025_03_win64.zip

https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2024_04.zip

https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2023_12.zip

https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2023_06.zip

https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2023_05.zip

https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2023_03.zip

https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2022_09.zip

https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2022_04.zip

https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2021_06.zip