Since D-day Ive been gathering up links to formal solidity testing frameworks/projects. These projects aim to add a layer of semantic reasoning and verification to writing smart contracts. These are still in development and new methods are evolving.
https://github.com/ether-camp/ethereum-testing-reference <--A self contained simple Ethereum testing system for Solidity smart contracts.
https://docs.erisindustries.com/tutorials/solidity/solidity-4/ <--nice tiered testing strategies.
https://gist.github.com/chriseth/c4a53f201cd17fc3dd5f8ddea2aa3ff9 <-----Chriseth need I say more?
https://github.com/raineorshine/solgraph <---I like this: it's graphical ..plays nice with Studio IDE ..Generates a DOT graph that "visualizes function control flow of a Solidity contract and highlights potential security vulnerabilities". According to the dev, it doesn't yet handle large sol files.