Home | Releases | Documentation | Support
Specware Support
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.
Submitting Feedback
We want to hear from our users! Please send all questions, comments, feature requests, and complaints to support@specware.org