Modular End-to-End Pipeline for Formal Property Verification using Large Language Models

@inproceedings{pub17252,
    author = {

Müller, Luca
 and 

Jha, Chandan
 and 

Arlt, Benjamin
 and 

Hassan, Muhammad
 and 

Drechsler, Rolf
},
    title = {Modular End-to-End Pipeline for Formal Property Verification using Large Language Models},
    booktitle = {IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2026), July 7-10
},
    year = {2026}
}