Published April 27, 2026 | Version v1
Software Open

On the Integration of Explainable Formal Methods Tools into PMC-VIS Artifact

Authors/Creators

  • 1. ROR icon Technische Universität Dresden

Description

This is the artifact accompying the paper "On the Integration of Explainable Formal Methods Tools into PMC-VIS".

It contains the sorcecode of the PMC-VIS version discussed in the paper, along with all the tools and models described. Users of this artifact should be able to use PMC-VIS and all tool extensions as described in the paper.

Files

README.md

Files (2.8 GB)

Name Size
md5:0fa48cc7ebfedb54ee2b9e65db1deb7c
2.8 GB Preview Download
md5:ea7d22f7b810315f14a64f6a7b12e5bf
29.2 MB Preview Download
md5:7f39871f32cd5c46934ae53d5b91794a
5.2 kB Preview Download

Additional details

Related works

Is new version of
Software: 10.5281/zenodo.8099469 (DOI)

Software

Repository URL
https://github.com/imldresden/pmc-vis
Development Status
Active