Specware Logo


Home | Releases | Documentation | Support | Ordering Info

Specware Support


bullet Reporting Problems

To report a bug or other problem with Specware, please send an email to support@specware.org with a detailed description of the problem. Please include which version of Specware you are using (e.g., 4.2.13), the OS (Windows, MacOS, or Linux) and, if possible, sufficient information to allow us to reproduce the issue.

bullet Submitting Feedback

We want to hear from our users! Please send all questions, comments, feature requests, and complaints to support@specware.org.


webmaster@specware.org