Model Checking with Large Language Models - Initial Experiments and Future Directions

Sotiris Batsakis, Ilias Tachmazidis, Matthew Mantle, Nikolaos Papadakis, Grigoris Antoniou

Abstract: Large Language Models such as ChatGPT have risen in prominence recently leading to the need to analyse their strengths and limitations on various tasks. The objective of this work is to evaluate the performance of Large Language Models on Model Checking which is used extensively in various critical tasks such as software and hardware verification.

External IDs:dblp:conf/iisa/BatsakisTMPA24