Listings Owned by Angelo Gargantini

Primary tabs

View
Favorites
Products(active tab)

Maintainer

Drag to Install!

Drag to your running Eclipse^* workspace.
^*Requires Eclipse Marketplace Client

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 for As...

Editor, Modeling

Last Updated on Tuesday, July 28, 2020 - 04:47 by Angelo Gargantini

JavaCC Eclipse Plug-in

Install

Drag to Install!

Drag to your running Eclipse^* workspace.
^*Requires Eclipse Marketplace Client

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, April 20, 2020 - 13:10 by Angelo Gargantini

nuseen

Install

Drag to Install!

Drag to your running Eclipse^* workspace.
^*Requires Eclipse Marketplace Client

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, February 4, 2019 - 13:57 by Angelo Gargantini