@**inproceedings**{RISC5704,author = {Wolfgang Schreiner},

title = {{Validating Mathematical Theories and Algorithms with RISCAL}},

booktitle = {{Intelligent Computer Mathematics}},

language = {english},

abstract = {RISCAL is a language for describing mathematical algo-
rithms and formally specifying their behavior with respect to user-defined
theories in first-order logic. This language is based on a type system that
constrains the size of all types by formal parameters; thus a RISCAL
specification denotes an infinite class of models of which every instance
has finite size. This allows the RISCAL software to fully automatically
check in small instances the validity of theorems and the correctness of
algorithms. Our goal is to quickly detect errors respectively inadequa-
cies in the formalization by falsification in small model instances before
attempting actual correctness proofs for the whole model class.},

series = {Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence},

volume = {11006},

pages = {0--0},

publisher = {Springer},

address = {Berlin},

isbn_issn = {ISBN XXXXXX},

year = {2018},

note = {The final authenticated version will be available online at Springer},

editor = {F. Rabe and W. Farmer and G. Passmore and A. Youssef},

refereed = {yes},

keywords = {Formal specification, Falsification, Model checking},

sponsor = {Supported by the Johannes Kepler University, Linz Institute of Technology (LIT), project LOGTECHEDU, and by the OEAD WTZ project SK 14/2018 SemTech.},

length = {16},

conferencename = {CICM 2018, 11th Conference on Intelligent Computer Mathematics, Hagenberg, Austria, August 13-17, 2018}

}