Listings owned by Angelo Gargantini
JavaCC Eclipse Plug-in
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
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...