JunitQuest – Automatically generate (useless?) unit tests for Javagithub.com2 points·by leipavoi·hace 7 años·0 comments
Fermat’s last theorem with public Ethereum blockchainmedium.com2 points·by leipavoi·hace 8 años·0 comments
Naivecoin: a tutorial for building a cryptocurrencylhartikk.github.io21 points·by leipavoi·hace 9 años·1 comments
leipavoi·hace 8 años·discussI think symbolic execution is quite an "academic subject".Things could change as I think symbolic execution would very well fit when analyzing and verifying the correctness of smart contracts in blockchain.
leipavoi·hace 9 años·discussCool project! Reminds me of Naivechain, a blockchain in 200 lines of codehttps://github.com/lhartikk/naivechain
Things could change as I think symbolic execution would very well fit when analyzing and verifying the correctness of smart contracts in blockchain.