RAG4C Evaluation Datasets, prompts, scripts, solver encoding, results, screencasts
收藏Zenodo2026-03-03 更新2026-05-26 收录
下载链接：
https://zenodo.org/doi/10.5281/zenodo.18351040
下载链接
链接失效反馈官方服务：
资源简介：
RAG4C: Observable-Centric Consistency Checking of Requirements and Models — Research ArtifactsThis archive contains:
Screencasts running the tool
Datasets used in our experiments
Prompts for observable extraction, synonym construction, and constraints formalisation
Results (intermediate and final metrics)Scripts to reproduce tables and figures
Implementation
The RAG4C implementation is available upon request.
These materials support reproducibility and enable further comparison and extension of observable-centric consistency checking approaches.
提供机构：
Zenodo
创建时间：
2026-01-23
