VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus.

Chuyue Sun, Yican Sun, Daneshvar Amrollahi, Ethan Zhang, Shuvendu K. Lahiri, Shan Lu, David L. Dill, Clark W. Barrett

Browse the full TACAS paper archive.