Lambda the Ultimate
- Applications of Blockchain to Programming Language Theory https://www.innoq.com/en/articles/2019/07/verifikation-von-smart-contracts/ 4 comments Fun , Implementation , Semantics
Linked pages
- Ethereum (ETH) Blockchain Explorer https://etherscan.io/ 729 comments
- E.W.Dijkstra Archive: The Humble Programmer (EWD 340) https://www.cs.utexas.edu/~EWD/transcriptions/EWD03xx/EWD340.html 82 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 61 comments
- Yes, this kid really just deleted $300 MILLION by messing around with Ethereum’s smart contracts. | HackerNoon https://hackernoon.com/yes-this-kid-really-just-deleted-150-million-dollar-by-messing-around-with-ethereums-smart-2d6bb6750bb9 42 comments
- https://www.cse.msu.edu/~cse814/Lectures/09_spark_intro.pdf 37 comments
- https://proofmarket.org/ 33 comments
- Ethereum Developer Resources | ethereum.org https://ethereum.org/token#autorefill 18 comments
- Blockchain Infrastructure for the Decentralised Web | Parity Technologies https://blog.parity.io/security-alert-high-2/ 16 comments
- Overview https://testnet.iohkdev.io/plutus/ 12 comments
- Ethereum Top Accounts by ETH Balance | Etherscan https://etherscan.io/accounts 9 comments
- GitHub - runtimeverification/evm-semantics: K Semantics of the Ethereum Virtual Machine (EVM) https://github.com/kframework/evm-semantics 8 comments
- GitHub - pirapira/eth-isabelle: A Lem formalization of EVM and some Isabelle/HOL proofs https://github.com/pirapira/eth-isabelle 4 comments
- wETH | ERC20 tradable version of ETH https://weth.io/ 4 comments
- The Parity Wallet Hack Explained - OpenZeppelin blog https://blog.zeppelin.solutions/on-the-parity-wallet-multisig-hack-405a8c12e8f7 3 comments
- [1801.00687] Scilla: a Smart Contract Intermediate-Level LAnguage https://arxiv.org/abs/1801.00687 3 comments
- Design by contract - Wikipedia http://en.wikipedia.org/wiki/Design_by_contract 3 comments
- Wrapped Ether | Address 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 | Etherscan https://etherscan.io/address/0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 2 comments
- Scilla - Home https://scilla-lang.org/ 0 comments
- Code coverage - Wikipedia http://en.wikipedia.org/wiki/Code_coverage 0 comments
Related searches:
Search whole site: site:www.innoq.com
Search title: Verification of smart contracts – INNOQ
See how to search.