Proving Termination via Measure Transfer in Equivalence Checking (Artifact)

Milovančević, Dragana; Fuhs, Carsten; Bucev, Mario; Kunčak, Viktor

doi:10.5281/zenodo.13787855

Published September 19, 2024 | Version v1.0

Software Open

Proving Termination via Measure Transfer in Equivalence Checking (Artifact)

1. École Polytechnique Fédérale de Lausanne
2. Birkbeck, University of London

This repository contains the artifact for the iFM'24 paper
"Proving Termination via Measure Transfer in Equivalence Checking"
by Dragana Milovančević, Carsten Fuhs, Mario Bucev and Viktor Kunčak.

Files

README.md

Files (684.0 MB)

Name	Size	Download all
artifact2641.tar.gz md5:bffea6656106b26b060fa65b562d2d08	684.0 MB	Download
README.md md5:614073498e394c42d74c9a892c434d46	5.3 kB	Preview Download

Additional details

Accepted: 2024-09-19

Views

Downloads

Show more details

	All versions	This version
Views	89	52
Downloads	19	8
Data volume	7.5 GB	2.7 GB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: September 18, 2024
Modified: September 18, 2024

Proving Termination via Measure Transfer in Equivalence Checking (Artifact)

Creators

Description

Files

README.md

Files (684.0 MB)

Additional details

Dates