TY  - RPRT
TI  - CAFÉ, an automated feedback tool to approach Formal Methods
AU  - Géraldine Brieven
AU  - Ayman Labrahimi Kasdaoui
AU  - Benoit Donnet
PY  - 2026
UR  - https://arxiv.org/abs/2607.03001
ID  - 2607.03001
ER  -