Published October 31, 2025 | Version v3
Software Open

Contextual Improvement Verifier ReCheck

Authors/Creators

  • 1. ROR icon Kyoto Institute of Technology

Description

Artifact related to the tool paper "ReCheck: Automated Contextual Improvement Verifier for Functional Calculi across User-Defined Operational Semantics".

Instructions on how to run the experiments are provided in the README.md file, within the artifact.

Files

reck.zip

Files (30.7 MB)

Name Size Download all
md5:ca7377555b78802e1fd04607929539ce
30.7 MB Preview Download

Additional details

Software

Programming language
Haskell
Development Status
Active