Tag

#Formal Methods

2026年11月3日区块链安全

安全还不够：让智能合约从规格中生成

SmartSpec 从关系式功能规格与时序安全规格出发，借助验证反例综合 Solidity 合约的交易守卫，并在安全之外尽量保留正常行为。