Debugging Smart Contract’s Business Logic Using Symbolic Model Checking
Crossref DOI link: https://doi.org/10.1134/S0361768819080164
Published Online: 2020-01-14
Published Print: 2019-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Shishkin, E.
Text and Data Mining valid from 2019-12-01
Version of Record valid from 2019-12-01
Article History
Received: 18 August 2019
Revised: 16 October 2019
Accepted: 25 October 2019
First Online: 14 January 2020