Can ChatGPT support software verification?

Christian Janen, Cedric Richter, Heike Wehrheim

Browse the full FASE paper archive.