Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLisp, C, Java and Haskell.
Primary LanguageCommon LispBSD 2-Clause "Simplified" LicenseBSD-2-Clause