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

Cite this as

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

DOI retrieved: December 3, 2024

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