2 papers
cs.SE2026
CAFÉ, an automated feedback tool to approach Formal Methods
Géraldine Brieven, Ayman Labrahimi Kasdaoui, Benoit Donnet
We present CAFÉ, a learning platform designed to introduce computer science students to Formal Methods (FM). CAFÉ aims to scaffold students' structural thinking (in contrast with o…
cs.CY2023
Training Students' Abstraction Skills Around a CAFÉ 2.0
Géraldine Brieven, Lev Malcev, Benoit Donnet
Shaping first year students' mind to help them master abstraction skills is as crucial as it is challenging. Although abstraction is a key competence in problem-solving (in particu…