Listings owned by Angelo Gargantini

Asmeta is a framework for Abstract State Machines. This plugin enables: Asmee: a graphical IDE which allows to edit, manipulate, and simulate Asmeta models AsmetaSMV: a model...

The JavaCC Eclipse Plug-in provides a JavaCC/JJTree & JTB editor, some views, associated editing capabilities, and a builder which process .jj, .jjt & .jtb files and integrates...

Nuseen is an eclipse-based environment for the model checker NuSMV, with the aim of helping NuSMV users. It mainly focuses in easing the use of the NuSMV tool by means of graphical...