Published October 16, 2024 | Version v1
Software Open

CF-GKAT: Efficient Validation of Control-Flow Transformations (Artifact)

Creators

  • 1. ROR icon University College London
  • 2. ROR icon Leiden University
  • 3. ROR icon Virginia Tech
  • 4. Open Universiteit

Description

This is the artifact accompanying the article CF-GKAT: Efficient Validation of Control-Flow Transformations.

For more information on how to run the experiments, please refer to README.md (also included in the tarball).

Files

README.md

Files (57.7 kB)

Name Size Download all
md5:3a7ffb5690ead2db675ea563df0f26b1
40.4 kB Download
md5:a9a2eda1d491aaa1d8e10b895850686b
17.2 kB Preview Download

Additional details

Funding

VERLAN – Verification and Language Theory 101027412
European Commission