You're currently viewing an old version of this dataset. To see the current version, click here.

Repair dataset

The dataset is used for repairing sequential circuits against formal specifications given in linear-time temporal logic (LTL). The dataset consists of three entries: a formal specification in LTL, a defective circuit, and the corrected target circuit.

Data and Resources

This dataset has no data

Cite this as

Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner (2024). Dataset: Repair dataset. https://doi.org/10.57702/wdeavoc9

Private DOI This DOI is not yet resolvable.
It is available for use in manuscripts, and will be published when the Dataset is made public.

Additional Info

Field	Value
Created	December 3, 2024
Last update	December 3, 2024
Author	Matthias Cosler
More Authors	Frederik Schmitt Christopher Hahn Bernd Finkbeiner
Homepage	https://github.com/reactive-systems/circuit-repair