Bamboo looks quite interesting. I think it’s mainly focused on modelling the state changes smart contracts undergo more explicitly.
https://github.com/pirapira/bamboo
Re:Our suite of Ethereum security tools
by ShorsHammer on Sunday March 25, 2018 @09:59AM
(#16672186)
Serpent is deprecated.
Serpent and LLL are apparently lower-level than Solidity.
https://steemit.com/ethereum/@balzss/the-many-languages-of-e...