asmeta

Here are 4 public repositories matching this topic...

EvoAvalla is an automated tool that uses evosuite to generate test scenarios in Avalla language for an Abstract State Machine (ASM).

4 programming Projects: Cyclone, Asmeta, Cpp and Scala

Little shop with Asmeta framework for university project.

Progetto realizzato per il corso "Informatica III - modulo Programmazione" che si pone l'obiettivo di utilizzare i principali costrutti di Asmeta.

Add a description, image, and links to the asmeta topic page so that developers can more easily learn about it.

To associate your repository with the asmeta topic, visit your repo's landing page and select "manage topics."