notesum.ai

Published at November 22

Application of AI to formal methods -- an analysis of current trends

cs.LO
cs.AI

Released Date: November 22, 2024

Authors: Sebastian Stock1, Jannik Dunkelau2, Atif Mashkoor1

Aff.: 1Johannes Kepler University Linz, Institute of Software System Engineering, Linz, 4040, Austria; 2Heinrich Heine University Düsseldorf, Faculty of Mathematics and Natural Sciences, Institute of Computer Science, Düsseldorf, 40225, Germany

Arxiv: http://arxiv.org/abs/2411.14870v1