CS student Phil Daian was quoted by CoinDesk for a recent talk he gave at ethereum’s developer summit on smart contract security and program verification: http://www.coindesk.com/ethereum-formal-verification-smart-contracts. Daian spoke to the interest in formal verification methodology more broadly, telling the audience he believes it could help ethereum solve key issues.