K Framework
http://www.kframework.org/index.php/Main_Page
K Semantics of the Ethereum Virtual Machine (EVM)
https://github.com/kframework/evm-semantics
KEVM: A Complete Semantics of the Ethereum Virtual Machine
https://www.ideals.illinois.edu/bitstream/handle/2142/97207/hildenbrandt-saxena-zhu-rodrigues-guth-daian-rosu-2017-tr_0818.pdf
Defining the semantics of K in K
https://github.com/kframework/k-in-k
How Formal Verification of Smart Contracts Works
https://runtimeverification.com/blog/how-formal-verification-of-smart-contracts-works/
How Formal Verification Can Ensure Flawless Smart Contracts
https://media.consensys.net/how-formal-verification-can-ensure-flawless-smart-contracts-cbda8ad99bd1
What I think about what KEVM people think about EVM
https://medium.com/@pirapira/what-i-think-about-what-kevm-people-think-about-evm-78d99191b57e
El desarrollo de loyalty para Flips
https://www.youtube.com/watch?v=vkXBSU1T0Fk
Angel “Java” Lopez
https://github.com/ajlopez
http://www.ajlopez.com
http://twitter.com/ajlopez
Pingback: Blockchain: Links And Resources (299) | Angel ”Java” Lopez on Blog
Pingback: Blockchain: Links And Resources (301) | Angel ”Java” Lopez on Blog