@inproceedings{RISC5957,author = {Wolfgang Schreiner},
title = {{Logic and Semantic Technologies for Computer Science Education}},
booktitle = {{Informatics’2019, 2019 IEEE 15th International Scientific Conference on Informatics, Poprad, Slovakia, November 20–22}},
language = {english},
abstract = {We report on some projects to develop software rooted in formal logic and
semantics in order to enhance education in computer science and mathematics.
The goal is to let students actively engage with the course material by
solving concrete problems where the correctness of a solution is
automatically checked; furthermore, if a solution is not correct or the
student gets stuck, the software shall provide additional insight and hints
that aid the student towards the desired result. In particular, we describe
our experience with the RISCAL software, a model checker for mathematical
theories and algorithms, in university courses on logic, formal methods, and
formal modeling.},
pages = {415--420},
publisher = {IEEE},
isbn_issn = {ISBN 978-1-7281-3178-8},
year = {2019},
note = {invited paper},
editor = {William Steingartner and Štefan Korecko and Anikó Szakál},
refereed = {no},
keywords = {logic, semantics, formal verification, model checking, reasoning about programs, computer science education},
length = {6},
url = { https://doi.org/10.1109/Informatics47936.2019.9119285}
}