Formal Verification of Imperative First-Class Functions in Move

Wolfgang Grieskamp, Teng Zhang, Vineeth Kashyap, Jake Silverman
PDF
Type
Conference paper
Publication
Formal Methods in Computer-Aided Design