Listings Owned by Angelo Gargantini

Primary tabs


Maintainer

Asmeta

Asmeta

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 checker ...

Modeling, Editor

Last Updated on Wednesday, May 17, 2017 - 10:25 by Angelo Gargantini

nuseen

nuseen

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 elements like bu...

Modeling Tools

Last Updated on Monday, December 12, 2016 - 06:48 by Angelo Gargantini

JavaCC Eclipse Plug-in

JavaCC Eclipse Plug-in

The JavaCC Eclipse Plugin provides a JavaCC & JTB editor, views, and builder which process .jj, .jjt & .jtb files and integrates with Eclipse's incremental build system. Compatible with Eclipse 3....

Build and Deploy

Last Updated on Monday, November 7, 2016 - 14:22 by Angelo Gargantini