Welcome to Specware

What is Specware?

Specware is a leading-edge automated software development system that allows users to precisely specify the desired functionality of their applications and to generate provably correct code based on these requirements. At the core of the design process in Specware lies stepwise refinement, in which users begin with a simple, abstract model of their problem and iteratively refine this model until it uniquely and concretely describes their application.

Specware is...

• a design tool, because it can represent and manipulate designs for complex systems
• a logic, because it can describe concepts in a formal language with rules of deduction
• a programming language, because it can express programs and their properties
• a database, because it can store and manipulate collections of concepts, facts, and relationships

Specware can...

• be used to develop domain theories
• be used to develop code from specifications
• be used to develop specifications from code

Browse the introductory tutorial for the newest release, Specware 4.2, to learn more about using this exciting software system.