asmeta

Here are 4 public repositories matching this topic...

Asmetal2java is a tool that automatically generates a Java file from an Abstract State Machine (ASM) specification written in Asmeta.

java xtend asmeta

Eclipse workspace of the Software Testing and Verification academic course

java testing codecoverage asmeta openjml

Exam project of the university course: Testing and Software Verification

java travis-ci maven jml junit4 jframe verifycode codecoverage asmeta

Converts java scenarios into the Avalla language.

antlr4 java-8 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."