arXiv:2502.07789v1 类别:交叉学科 摘要：本文探讨了人工智能助手，特别是OpenAI的ChatGPT，在使用B方法作为形式化规格技术时，对本科生教授形式化方法(FM)所起的作用。虽然现有的研究展示了AI在编程任务中的有效性，但没有研究报道其对形式化规格的影响。我们研究了ChatGPT在编写B规格时是否提供了优势，并分析了学生对其输出的信任程度。我们的研究表明，AI并未帮助学生提高其规格的正确性，低信任与更好的结果相关。此外，我们还识别出了一种与ChatGPT交互的行为模式，这种模式可能影响B规格的正确性。