To report a bug or other problem with Specware, please send an email to
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.
We want to hear from our users! Please send all questions, comments,
feature requests, and complaints to