@**techreport**{RISC5721,author = {Wolfgang Schreiner and William Steingartner},

title = {{Visualizing Logic Formula Evaluation in RISCAL}},

language = {english},

abstract = {We report on initial results concerning the visualization of the evaluation of
logic formulas that are formulated in the RISC Algorithm Language (RISCAL). Such
formulas usually represent propositions that are supposed to be true; examples
are mathematical theorems or verification conditions of algorithms that have
been formally modeled and specified in RISCAL. The visualization is intended to
aid the user to understand the truth value of a formula, in particular in those
cases where a formula is unexpectedly not valid. To this aim, the visualization
of a formula consists of a pruned evaluation tree that depicts exactly those
evaluation branches that contribute to the overall truth value.},

year = {2018},

month = {July},

institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria},

keywords = {formal methods, verification, 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 = {13}

}