Description

The blockchain technology started as an underlying technology for virtual currencies, like bitcoin, but is now a popular alternative for a wealth of applications in trade, banking, logistic and public administration. 

Modern blockchain technologies, like Ethereum, allow smart contracts, which are pieces of executable code, as transactions in the blockchain. This makes the blockchain technology fully programmable.

Like all software, smart contracts are error prone. Users of the blockchain technology should be protected by harming themselves by errors in smart contracts. Recently, a number of verification attempts for blockchain technology and smart contracts have been started.

The goal of this project is to explore and describe recent verification efforts on blockchain technology and smart contracts. The aims and means of these approaches should be described.