RISC JKU

The RISC Algorithm Language (RISCAL)

[Back to RISCAL Main Page]

See below for publications and reports on RISCAL.

Ágoston Sütő: Model Checking Concurrent Systems Under Fairness Constraints in RISCAL
Master's Thesis, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria, May 2023.
Joachim Borya: Formalisation of Relational Algebra and a SQL-like Language with the RISCAL Model Checker
Bachelor Thesis, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria, May 2023.
Wolfgang Schreiner: Concrete Abstractions - Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Texts & Monographs in Symbolic Computation, Springer, 2023.
Wolfgang Schreiner, Ágoston Sütő: A Temporal Logic Extension of the RISCAL Model Checker
Informatics 2022, 2022 IEEE 16th International Scientific Conference on Informatics, Poprad, Slovakia, November 23-25, 2022, pp. 267-272, IEEE.
Wolfgang Schreiner: Implementation Techniques for Mathematical Model Checking
SYNASC 2022, 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Hagenberg, Austria, September 12-15, IEEE.
Wolfgang Schreiner: The RISCTP Theorem Proving Interface - Tutorial and Reference Manual (Version 1.0)
Technical Report 22-07, Research Institute for Symbolic Computation, Johannes Kepler University, Linz, June 2022.
See here for the current version of the manual.
Wolfgang Schreiner: Thinking Programs - Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Texts & Monographs in Symbolic Computation, Springer, 2021.
Wolfgang Schreiner, Franz-Xaver Reichl: First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving
Proceedings of the 9th International Symposium on Symbolic Computation in Software Science (SCSS 2021), Hagenberg, Austria, September 8-10, 2021, Temur Kutsia (ed.), Electronic Proceedings in Theoretical Computer Science (EPTCS) 342, pp. 99-113. September 2021. ISSN 2075-2180.
Wolfgang Schreiner, Franz-Xaver Reichl: Semantic Evaluation versus SMT Solving in the RISCAL Model Checker
Technical report 21-11, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. June 2021.
Wolfgang Schreiner, William Steingartner, Valerie Novitzká: A Novel Categorical Approach to the Semantics of Relational First-Order Logic
Symmetry 12(10), 1584, MDPI. September 2020.
Wolfgang Schreiner, Franz-Xaver Reichl: Mathematical Model Checking Based on Semantics and SMT
Transactions on Internet Research 16(2), pp. 4-13, IPSI. July 2020.
Franz-Xaver Reichl: The Integration of SMT Solvers into the RISCAL Model Checker
Master Thesis, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria, April 2020.
Wolfgang Schreiner: Logic and Semantic Technologies for Computer Science Education
Invited paper at Informatics'2019, 2019 IEEE 15th International Scientific Conference on Informatics, Poprad, Slovakia, November 20-22, 2019, pp. 415-420. IEEE.
Hsuan-Ming Chen: Migrating Mathematical Programs to Web Interface Frameworks
Master's Thesis for the International Degree Programme "Informatics: Engineering & Management", Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. April 2019.
Wolfgang Schreiner, Valerie Novitzká, William Steingartner: A Categorical Semantics of Relational First-Order Logic.
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, March 2019.
Wolfgang Schreiner: Theorem and Algorithm Checking for Courses on Logic and Formal Methods.
Post-Proceedings ThEdu’18, Pedro Quaresma and Walther Neuper (ed.), 7th International Workshop on Theorem proving components for Educational software, Oxford, United Kingdom, 18 July 2018, Volume 290 of Electronic Proceedings in Theoretical Computer Science (EPTCS), pp. 56-75, April 1, 2019. Open Publishing Association, ISSN 2075-2180.
Lucas Payr: Formalization and Validation of Fundamental Sequence Algorithms by Computer-assisted Checking of Finite Models
Bachelor Thesis, Johannes Kepler University, Linz, December 2018.
Wolfgang Schreiner: WebEx: Web Exercises for RISCAL
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, October 2018.
See here for the current version of the manual.
Wolfgang Schreiner: Logic as a Path to Enlightenment (Work in Progress Report)
Walther Neuper (editor), CME-EI18, Computer Mathematics in Education - Enlightenment or Incantation? Workshop at CICM 2018, 11th Conference on Intelligent Computer Mathematics, Hagenberg, Austria, August 17, 2018. CEUR Workshop Proceedings, Volume 2307.
Wolfgang Schreiner: Validating Mathematical Theories and Algorithms with RISCAL
Intelligent Computer Mathematics, F. Rabe, W. Farmer, G. Passmore, A. Youssef (ed.), Proceedings of CICM 2018, 11th Conference on Intelligent Computer Mathematics, Hagenberg, Austria, August 13-17, 2018, Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence 11006, 2018. Springer, Berlin. The final authenticated version will be available online at Springer.
Wolfgang Schreiner, William Steingartner: Visualizing Logic Formula Evaluation in RISCAL
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, July 2018.
Wolfgang Schreiner, William Steingartner: Visualizing Execution Traces in RISCAL
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, March 2018.
Wolfgang Schreiner, Alexander Brunhuemer, Christoph Fürst: Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models
Post-Proceedings ThEdu'17, Pedro Quaresma and Walther Neuper: 6th International Workshop on Theorem proving components for Educational software (ThEdu'17), Gothenburg, Sweden, 6 Aug 2017, Electronic Proceedings in Theoretical Computer Science (EPTCS) 267, pp. 120-139. 2018. Open Publishing Association, ISSN 2075-2180.
Alexander Brunhuemer: Validating the Formalization of Theories and Algorithms of Discrete Mathematics by the Computer-Supported Checking of Finite Models
Bachelor Thesis, Johannes Kepler University, Linz, September 2017.
Wolfgang Schreiner: The RISC Algorithm Language - Tutorial and Reference Manual (Version 1.0)
Technical Report, Research Institute for Symbolic Computation, Johannes Kepler University, Linz, January 2017.
See here for the current version of the manual.

Wolfgang Schreiner
Last modified: March 11, 2019