RISC RISC Research Institute for Symbolic Computation  

The RISC Algorithm Language (RISCAL)

August 18, 2018: RISCAL 2.3.0 (generalized recursive types, axioms, minor bug fixes)

JKU Linz Student Projects and Theses
See here how to join the further development of RISCAL.

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.


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
To start the software, login as user "guest" with password "guest", double-click the "Terminal" icon, then execute "RISCAL &". The installation of the software with sample specifications is available in "/software/RISCAL".
RISC Users: RISCAL is installed in the RISC environment. To start the softwarem execute
module load RISCAL
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, CHANGES, and COPYING.
Tutorial and Manual [HTML | PDF]
This is the user documentation of the software.
Subversion Repository
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
svn://svn.risc.jku.at/schreine/RISCAL
Video Presentation
A slide-based video presentation on RISCAL.
Papers
Publications and reports on RISCAL.
Talks
Further slide presentations on RISCAL.

Wolfgang Schreiner
Last modified: March 29, 2018