Order Article Reprints
Journal: Electronics, 2025
Volume: 14
Number: 401
Article:
Model Checking Using Large Language Models—Evaluation and Future Directions
Authors:
by
Sotiris Batsakis, Ilias Tachmazidis, Matthew Mantle, Nikolaos Papadakis and Grigoris Antoniou
Link:
https://www.mdpi.com/2079-9292/14/2/401
MDPI offers high quality article reprints with convenient shipping to destinations worldwide. Each reprint features a 270 gsm bright white cover
and 105 gsm premium white paper, bound with two stitches for durability and printed in full color. The cover design is customized to your article
and designed to be complimentary to the journal.