030 - Verification of Blockchain Languages and Virtual Machines


#1

Hello,

The slides (pptx) can be accessed here: https://drive.google.com/file/d/0B7uWI7YyEb9lOWEyYks5RHFTYldKaXZGU0huU1JUZDdpOFNB/view?usp=sharing

You can read more about the K Framework on their website and github account.


#2

Also, their challenge page: http://www.kframework.org/index.php/K_Project_Needs_Professional_Developers