Theorem and Algorithm Checking for Courses on Logic and Formal Methods

Wolfgang Schreiner

The RISC Algorithm Language (RISCAL) is a language for the formal modeling of theories and algorithms. A RISCAL specification describes an infinite class of models each of which ha…