Belief game: Verifying smart contract functionality in player dynamic interactions
Smart contracts, being security-critical code, facilitate consensus among players and ensure secure and accurate value transfer, and formal verification is necessary to guarantee functional correctness of contracts. Game theory serves as one of the tools in formal verification by assessing whether t...
| Main Authors: | , |
|---|---|
| Formato: | Artigo |
| Idioma: | English |
| Publicado em: |
Elsevier
2024-12-01
|
| Colecção: | Engineering Science and Technology, an International Journal |
| Assuntos: | |
| Acesso em linha: | http://www.sciencedirect.com/science/article/pii/S2215098624002994 |