Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs.

Jan Corazza, Ivan Gavran, Gabriela Moreira, Daniel Neider

Browse the full ICST paper archive.