What is Casper Correct by Construction (CBC)?

Casper Correct by Construction (CBC) is the consensus mechanism employed by the Casper Network. Casper CBC was initially developed by Vlad Zamfir, a well-known software engineer and technologist who helped create Ethereum. The Casper Network's current consensus protocol, the Highway Protocol, is based on the original Casper CBC specification, with several improvements relating to block finality and network flexibility.