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…