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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publication15th International Conference on Information, Intelligence, Systems and Applications, IISA 2024
PublisherInstitute of Electrical and Electronics Engineers Inc.
Number of pages8
ISBN (Electronic)9798350368833
ISBN (Print)9798350368840
DOIs
Publication statusPublished - 18 Dec 2024
Event15th International Conference on Information, Intelligence, Systems and Applications - Chania, Greece
Duration: 17 Jul 202420 Jul 2024
Conference number: 15

Conference

Conference15th International Conference on Information, Intelligence, Systems and Applications
Abbreviated titleIISA 2024
Country/TerritoryGreece
CityChania
Period17/07/2420/07/24

Cite this