Building a Benchmark for LLM-assisted Formal Verification

Aus SDQ-Wiki
Ausschreibung (Liste aller Ausschreibungen)
Typ Bachelorarbeit
Aushang LLM Assisted Formal Verification.pdf
Betreuer Wenden Sie sich bei Interesse oder Fragen bitte an:

Dominik Fuchß (E-Mail: dominik.fuchss@kit.edu, Telefon: +49-721-608-47381), Tobias Hey (E-Mail: hey@kit.edu, Telefon: +49-721-608-44765)

Abgerufen von „https://sdq.kastel.kit.edu/mediawiki-sdq-extern/index.php?title=Building_a_Benchmark_for_LLM-assisted_Formal_Verification&oldid=37403“