Formal Verification of Smart Contracts Based on Model Checking: An Overview.

Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai

Browse the full WETICE paper archive.