Published January 19, 2026
| Version v2
Dataset
Open
A practical and complete method for detecting rt-inconsistencies in real-time requirements (artefact)
Description
This archive is a replication package of the benchmarks made in the paper A practical and complete method for detecting
rt-inconsistencies in real-time requirements by Nico Hauff et al.
Table 1, Table 2 and Table 3 of the evaluation section can be reproduced by analysing the included files.
Files
replication-refsq26-rticheck.zip
Files
(241.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:c41416000d5e894ce3eff0c571d12d6e
|
241.3 MB | Preview Download |
Additional details
Software
- Programming language
- Python