Model Checking with Large Language Models - Initial Experiments and Future Directions
Sotiris Batsakis, Ilias Tachmazidis, Matthew Mantle, Nikolaos Papadakis, Grigoris Antoniou · 2024
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.