SAILFISH System to Find State-Inconsistency Bugs in Smart Contracts.


Smart contracts are programmes that are stored on the blockchain and are automatically executed when predetermined conditions are met based on the agreement’s encoded terms. They enable anonymous parties to carry out trusted transactions and agreements without the need for a central authority.

Read More…