The RISC Algorithm Language (RISCAL)
October 16, 2017: RISCAL 1.0.10 (print result on postcondition violation, minor fixes)
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.
Click to enlarge the screenshot.
Virtual Machine: You can download a pre-configured
virtual Linux machine
(for the free VirtualBox
virtualization software) with RISCAL for execution under MS Windows,
Mac OS, or Linux:
Virtual Machine with RISCAL
RISC Users: RISCAL is installed in the RISC environment.
To start the software (respectively the included new version
of the RISC ProofNavigator), execute
To start the software, login as user "guest" with password "guest", double-click the "Terminal" icon, then execute and "RISCAL &".
The installation of the software with sample specifications is available in "/software/RISCAL".
module load RISCAL
- Download RISCAL
- This includes all the files for running the software on GNU/Linux x86 computers (32-bit or 64-bit); for others, the appropriate version
of the Standard Widget Toolkit
(SWT) has to be downloaded and installed.
See the files README,
- Tutorial and Manual [HTML | PDF]
- This is the user documentation of the software.
- This is a web interface to the Subversion repository that holds
the source code of the program. The repository can be read anonymously
by any Subversion client from the URL
- Video Presentation
- This is a slide-based video presentation on RISCAL.
- Publications and reports on RISCAL.
Last modified: October 10, 2017