RISC JKU
  • @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}
    }