Artifact for "Refined^2 Environment Classifiers"

Published August 23, 2026 | Version v2

Software Open

This is the artifact of the OOPSLA 2026 paper "Refined^2 Environment Classifiers."

Files

Name	Size
r2ecs-demo-image-amd64.tar.gz md5:771bb6a6d3ee951a9b384b6a918c1f29	21.1 MB	Download
r2ecs-demo-image-arm64.tar.gz md5:ab07249152b3bb91ad3533bc672bf089	21.9 MB	Download
r2ecs-demo-source.tar.gz md5:eccfdd6fe4322547cdec646a18f500bd	155.8 MB	Download
r2ecs-rocq-formalization-image-amd64.tar.gz md5:b197a9403f63be328d588f3c84d738b0	550.8 MB	Download
r2ecs-rocq-formalization-image-arm64.tar.gz md5:6b274ddcf78e6d61f474f44133ac76e6	555.6 MB	Download
r2ecs-rocq-formalization-source.tar.gz md5:e46d4aebf95f56732bc99317b8c9fe1c	309.3 kB	Download
README.md md5:25cf8ec747c5379ab3d8a6cf6f3dc026	7.2 kB	Preview Download
supplementary_material.pdf md5:8cbc26e8558a536362a67b057a596ac1	506.6 kB	Preview Download

Views

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

Languages

English

License: MIT License

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more