TY  - RPRT
TI  - Preparing for Super-Reactivity: Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems
AU  - David Harel
AU  - Assaf Marron
PY  - 2024
DO  - 10.5220/0013369200003896
UR  - https://arxiv.org/abs/2410.02627
ID  - 2410.02627
ER  -