RAG4C Evaluation Datasets, prompts, scripts, solver encoding, results, screencasts
收藏官方服务：
资源简介：
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
