上传者: weixin_43405220
|
上传时间:2023/5/10 20:04:27
|
文件大小:291KB
|
文件类型:PDF
FormalVerificationofSmartContracts
ThepaperoutlineaframeworktoanalyzeandverifyboththeruntimesafetyandthefunctionalcorrectnessofSoliditycontractsinF*,afunctionalprogra妹妹inglanguageaimedatprogramverification.