An interesting project that tries to tackle governance and the formal verification aspect of smart contracts is Tezos (https://tezos.com). I find their approach very appealing and I think it has the potential to grow big, while retaining a solid foundation. It's worth reading their position and white papers.