collaborators

1 paper

cs.LO2026

Visualising CTL Witnesses and Counterexamples -- Extended Version

Arend Rensink

One of the advantages of LTL over CTL is that the notion of a counterexample is easy to grasp, visualise and process: it is a trace that violates the property at hand. In this pape…