UNLABELLED Molecular Integrated Development Environment (MolIDE) is an integrated application designed to provide homology modeling tools and protocols under a uniform, user-friendly graphical interface. Its main purpose is to combine the most frequent modeling steps in a semi-automatic, interactive way, guiding the user from the target protein sequence to the final three-dimensional protein st...

The Visual Interface to Promela (VIP) tool is a Java based graphical front end to the Promela specification language and the SPIN model checker [2]. VIP supports a visual formalism called v-Promela [3] which extends the Promela language with a graphical notation to describe structural and behavioral aspects of a system. v-Promela also introduces hierarchical modeling and object-oriented concept...