I like your post. And will follow you because I think it's an interesting topic.
I'll be posting now a series about functional programming and formal methods. That means I'll provide tools for showing correctness (and this includes also Smart Contracts). I'll link your post in mine if I'm explaining something about smart contracts! :)
Cheers