RISCAL

The RISC Algorithm Language: A Language and Associated Software System for Specifying and Verifying Mathematical Algorithms

Authors

Software URL

Go to Website
The RISC Algorithm Language (RISCAL) is a specification language and associated software system for describing mathematical algorithms, formally specifying their behavior based on mathematical theories, and validating the correctness of algorithms, specifications, and theories by execution/evaluation. The software has been implemented in Java; it is freely available under the terms of the GNU GPL. Take a look at this video presentation and this paper.