Repository of lab work completed as part of my dissertation on smart contract verification.
Explored the possibilities of the approach.
Continued to convert more Solidity smart contracts to C for verification.
Continued to convert smart contracts to C and used cbmc for
verification, focusing on smart contracts vulnerable to reentrancy attacks.