RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
description  |  members  |  activities  |  seminar  |  publications  |  software
  
search:
  

The RISC Algorithm Language (RISCAL)

December 11, 2017: RISCAL 1.0.13 (fix bug for specification validation with remote servers)

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 draft 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 and "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 software (respectively the included new version of the RISC ProofNavigator), 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
This is a slide-based video presentation on RISCAL.
Papers
Publications and reports on RISCAL.

Wolfgang Schreiner
Last modified: October 10, 2017