- http://fsl.cs.illinois.edu/index.php/Defining_the_Undefinedness_of_C
- https://github.com/kframework/evm-semantics/blob/master/README.md
- https://github.com/runtimeverification/iele-semantics/blob/master/README.md
- https://www.cardano.org
- https://github.com/ethereum/go-ethereum
- https://ethereum.github.io/yellowpaper/paper.pdf
- https://www.algorand.com/
- https://www.ethereum.org/
- https://iohk.io/
- https://makerdao.com/
- https://github.com/ethereum/casper
- https://gnosis.pm/
- https://www.denso.com/
- https://ecf.network/
- http://www.us.toyota-itc.com/
- https://nsf.gov
- https://www.cryptape.com/
- https://nasa.gov/
- http://www.kframework.org/index.php/Main_Page
- http://fsl.cs.illinois.edu/index.php/Main_Page
- https://illinois.edu/
- https://runtimeverification.com/blog/how-formal-verification-could-help-to-prevent-gridlock-bug/
- https://runtimeverification.com/blog/a-subtle-rust-bug/
- https://runtimeverification.com/blog/formally-verifying-algorand-reinforcing-a-chain-of-steel-modeling-and-safety/
- https://runtimeverification.com/blog/formal-verification-of-ethereum-2-0-deposit-contract-part-1/
- https://maps.google.com/?q=102+E+Main+St+%23500,+Urbana,+IL+61801&entry=gmail&source=g
- https://github.com/runtimeverification
- https://www.reddit.com/user/rv_inc
- https://www.facebook.com/RuntimeVerificationInc
- https://www.linkedin.com/company/3142238/
- https://www.youtube.com/channel/UCZeDdn8F5ARtK5LmRngiLnA
- https://medium.com/@rv_inc/
- https://twitter.com/rv_inc
0 comments:
Post a Comment