Formal Methods for the Verification of Smart Contracts: A Review.

Moez Krichen, Mariam Lahami, Qasem Abu Al-Haija

Browse the full SIN paper archive.