There is a newer version of the record available.

Published March 11, 2026 | Version 1.1.2
Software Open

CTLViz: Visualising CTL Witnesses and Counterexamples

Authors/Creators

  • 1. ROR icon University of Twente

Description

This artifact supports the SPIN 2026 paper *Visualising CTL witnesses and counterexamples*. It contains a single Jar file, running under Java 21 or higher, that demonstrates the concept of evidence (witnesses or counterexamples) for CTL formulas and its visualisation, as described in the paper.

 

Files

ctlviz-1.1.2.zip

Files (7.9 MB)

Name Size Download all
md5:9210be10cdbb2800895cb79febbf2120
7.9 MB Preview Download

Additional details

Software

Programming language
Java