Treffer: Natural Language-Based Model-Checking Framework for Move Smart Contracts
Title:
Natural Language-Based Model-Checking Framework for Move Smart Contracts
Authors:
Source:
2023 Tenth International Conference on Software Defined Systems (SDS) Software Defined Systems (SDS), 2023 Tenth International Conference on. :89-94 Oct, 2023
Relation:
2023 Tenth International Conference on Software Defined Systems (SDS)
Database:
IEEE Xplore Digital Library