1 Introduction

2 Safer smart contracts  
2.1 Technical overview  
2.2 Security properties  

3 Contract languages  
3.1 Overview  

4 Verification methods  
4.1 Overview  

5 Discussion  

6 Conclusion