WEEKLY PROGRESS REPORTS WEEKLY PROGRESS REPORT NAME : Sankalpa Nanayakkara PROJECT TITLE: Critical evaluation of formal verification methodologies used in smart contracts Week 01Week 02 Week 03Week 04 Week 05Week 06 Week 07Week 08 Week 09Week 10 Week 11Week 12