Artifact for CAV'24 paper "Avoiding the Shoals - A New Approach to Liveness Checking" (original) (raw)

Published April 9, 2024 | Version v1

Software Open

Authors/Creators

• Xia, Yechuan1

• Cimatti, Alessandro2

• Griggio, Alberto2

• Li, Jianwen1

• 1. East China Normal University

• 2. Fondazione Bruno Kessler

Description

This is an artifact for the CAV'24 paper "Avoiding the Shoals - A New Approach to Liveness Checking".

For detailed instructions, see the README file within the archive.

Files

rlive-artifact.zip

Files (4.8 GB)