A Dynamic Behavior Verification Method for Composite Smart Contracts Based on Model Checking
Abstract
Share and Cite
Jin, J.; Zhan, W.H.; Li, H.S.; Ding, Y.; Li, J. A Dynamic Behavior Verification Method for Composite Smart Contracts Based on Model Checking. Mathematics 2024, 12, 2431. https://doi.org/10.3390/math12152431
Jin J, Zhan WH, Li HS, Ding Y, Li J. A Dynamic Behavior Verification Method for Composite Smart Contracts Based on Model Checking. Mathematics. 2024; 12(15):2431. https://doi.org/10.3390/math12152431
Chicago/Turabian StyleJin, Jun, Wen Hao Zhan, Hai Sheng Li, Yi Ding, and Jie Li. 2024. "A Dynamic Behavior Verification Method for Composite Smart Contracts Based on Model Checking" Mathematics 12, no. 15: 2431. https://doi.org/10.3390/math12152431