2,532 followers
FF15のビジュアルスクリプトをモデル検査で検証 #sigpx / “Automatic Verification for Node-Based Visual Script Notation Using Model Checking | SpringerLink” https://t.co/Fc0L7kVBRf
FF15のビジュアルスクリプトをモデル検査で検証 #sigpx / “Automatic Verification for Node-Based Visual Script Notation Using Model Checking | SpringerLink” https://t.co/Fc0L7kVBRf
Towards Verifying Ethereum Smart Contracts at Intermediate Language Level | SpringerLink https://t.co/Z1cTQPFj92 #ethereum
Formal Specification and Verification of Smart Contracts | SpringerLink https://t.co/EjvUcAbEGx #smartcontracts