@techreport{RISC5610,author = {Wolfgang Schreiner and William Steingartner},
title = {{Visualizing Execution Traces in RISCAL}},
language = {english},
abstract = {We report on initial results concerning the visualization of execution traces of
algorithms that are formally specified and modeled in the RISC Algorithm
Language (RISCAL); these algorithms are executed and visualized in the
associated software system which also validates their correctness by checking
the satisfaction of the formal contracts. This work has been stimulated by
corresponding visualization of Jane, a language with an associated toolkit
that has been developed to demonstrate the categorical semantics of
programming languages. By the new visualization extension of RISCAL, the
suitability of the software for the purpose of computer science education shall
be improved.},
year = {2018},
month = {March},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria},
keywords = {formal methods, verification, model checking},
sponsor = {Austrian OEAD WTZ and Slovak SRDA contract SK 14/2018 "SemTech", JKU Linz Institute of Technology (LIT) project "LOGTECHEDU"},
length = {7}
}