Search
 
   

2 results for "domain:runtimeverification.com"

  1. 5
    IELE: A New, Virtual Machine for the Blockchain (2017) cryptocurrencies formalmethods runtimeverification.com
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | 2 comments
  2. 7
    ERC20-K: Formal, Executable Specification of ERC20 ☶ cryptocurrencies formalmethods programming runtimeverification.com
    nickpsecurity avatar via nickpsecurity 8 months ago | cached | 2 comments