Specware Logo

Home | News | Documentation | Support | Ordering Info

Specware 4.0.2

This update package requires that Specware 4.0.1 already be installed on the target machine. If you do not know which version you have, start Specware and look for a "Specware | About Specware" menu item. If it is not there, you have version 4.0 and need to update to 4.0.1 before running this update. If the menu item is there, click on it to view the version of Specware you are running.

This update includes Fixes for two bugs, detailed below.