Formal Verification and CBC Casper

Date: