Repository · dormant
ERC20 in K
stars
49
forks
11
contributors
2
open issues
3
grosu
@grosu
58
commits
kirillseva
@kirillseva
1
runtimeverification/verified-smart-contracts
Smart contracts which are formally verified
runtimeverification/k
K Framework Tools 7.0
runtimeverification/haskell-backend
The symbolic execution engine powering the K Framework
runtimeverification/iele-semantics
Semantics of Virtual Machine for IELE prototype blockchain
runtimeverification/publications
Publications of Runtime Verification, Inc.
runtimeverification/javamop
Runtime verification system for Java, using AspectJ for instrumentation.
runtimeverification/simbolik-vscode
VSCode extension for debugging Solidity using Simbolik API server
runtimeverification/mir-semantics
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.