There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLisp, C, Java and Haskell.
