Specware 4.2 User Manual
PrevChapter 5. The Specware ShellNext

Finally

To terminate a Specware session: 
    exit
or, equivalently, 
    quit

PrevHomeNext
Auxiliary Commands for LispUpProving Properties in Specs