swMATH ID: 11715
Software Authors: Srinivas, Y., Jullig, R.; Waldiger, R.
Description: Specware is a software engineering tool that automatically generates high-assurance software. 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.
Homepage: http://www.specware.org/doc.html
Related Software: PVS; Nuprl; CASL; Maude; Isabelle; TPS; Mathematica; MMT; Hets; SysML; AutoFilter; SIMPLIFY; SciNapse; Isabelle/HOL; TAME; Verified Prover; Archive Formal Proofs; EROS; Kit; NQTHM
Cited in: 25 Documents

Citations by Year