RISC RISC Research Institute for Symbolic Computation  

Formal Methods Software at RISC

The RISC Algorithm Language (RISCAL)
A language and associated software system for specifying and verifying mathematical algorithms.
The LogicGuard Software
A stream monitor specification language and system.
The RISC ProgramExplorer
An interactive program reasoning environment.
The RISC ProofNavigator
An interactive proof assistant for program/system verification.
MiniMaple
Software for formal specification and verification of Maple programs.

Wolfgang Schreiner
Last modified: September 11, 2017