Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method

Alfredo Capozucca, Daniil Yampolskyi, Alexander Goldberg +1

This paper investigates the role of AI assistants, specifically OpenAI's ChatGPT, in teaching formal methods (FM) to undergraduate students, using the B-method as a formal specific…