Showing 2025Show all
2 papers · 1 filter
cs.LO2025
{log}: From a Constraint Logic Programming Language to a Formal Verification Tool
Maximiliano Cristiá, Alfredo Capozucca, Gianfranco Rossi
{log} (read 'setlog') was born as a Constraint Logic Programming (CLP) language where sets and binary relations are first-class citizens, thus fostering set programming. Internally…
cs.CY2025
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…