4 ms·
The IC3 research group at Cornell, and especially Elaine Shi's group, has been thinking about this recently. They are (I think) working on some kind of program
by swordswinger12 10y ago
The IC3 research group at Cornell, and especially Elaine Shi's group, has been thinking about this recently. They are (I think) working on some kind of program analysis framework using deep PL techniques to formally verify smart contracts.
- pipermerriam 10y agoThere is actually already fledgling support for this in Solidity (the prevailing language that Ethereum developers use to write smart contracts). https://forum.ethereum.org/discussion/3779/formal-verification-for-solidity-contracts https://forum.ethereum.org/discussion/3779/formal-verificati...