LLM-Assisted High Quality Invariants Generation for Formal Verification

@inproceedings{pub14745,
    author = {

Qayyum, Khushboo
 and 

Ahmadi-Pour, Sallar
 and 

Hassan, Muhammad
 and 

Jha, Chandan Kumar
 and 

Drechsler, Rolf
},
    title = {LLM-Assisted High Quality Invariants Generation for Formal Verification},
    booktitle = {Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain},
    year = {2024}
}