Specware

Specware is a next-generation environment supporting the design, development and automated synthesis of scalable, correct-by-construction software. It represents the confluence of capabilities and lessons learned from our earlier prototype systems (KIDS, REACTO, DTRE), grounded on a strong mathematical foundation (SLANG, based on category theory). The current version of Specware is a robust implementation of this foundation. We anticipate that many colleagues will add to the theory/specification library. We also anticipate the development of new front-ends to help put these software specification and synthesis capabilities into the hands of a wider group of end-users. Specware supports automation of