Eclipse Plug-in for Blast ------------------------- Installation ------------ Unpack the contents of the zip file to the directory /plugins/org.quality.blast where is the root path of your Eclipse installation. If you use another directory, you should add your directory to your PATH environment variable. If you don't work on a Win32 system, you simple replace pblast.opt, spec.opt, Simplify.exe with the binary versions for your platform and fix the shell scripts (e.g. the viewer for postscript files). Getting Started with the Eclipse Plug-in ---------------------------------------- You can open the 'Verification Task View' by clicking 'Window' -> 'Show View' -> 'Other...' -> 'Quality' -> 'Verification Task List' -> 'OK' To add a verification task open the context menu for the file in a Navigator (in any perspective) and choose 'New verification task for selected file'. Start the model checker with 'Run' and view the results using the appropiate action from the task's context menu in the task list view.