─── team / organization
runtimeverification
@runtimeverification
─── top repos · by stars
─── repositories
30 / 163Smart contracts which are formally verified
The symbolic execution engine powering the K Framework
Semantics of Virtual Machine for IELE prototype blockchain
A Formal Semantics of WebAssembly in K
Publications of Runtime Verification, Inc.
Runtime verification system for Java, using AspectJ for instrumentation.
VSCode extension for debugging Solidity using Simbolik API server
An open-source library of property-based tests for most common Ethereum token standards.
Formal verification of the Algorand consensus protocol
Formalization of the Beacon Chain Phase 0 Specification in K
Coq definitions and lemmas for verification of Casper
A K semantics of Tezos' Michelson language.
Fork of the Solidity Compiler for compiling Solidity to IELE
─── top contributors
chriseth
7,955 commits
rv-jenkins
4,291 commits
traiansf
3,078 commits
rv-auditor
2,906 commits
axic
2,277 commits
radumereuta
1,525 commits
gnuoyd
1,415 commits
andreiarusoaie
1,344 commits
ehildenb
1,208 commits
cos
1,177 commits
grosu
1,175 commits
andreistefanescu
1,157 commits
ttuegel
1,128 commits
TimJSwan89
1,119 commits
daejunpark
988 commits
tothtamas28
973 commits
virgil-serbanuta
869 commits
msaxena2
859 commits
Noc2
707 commits
ellisonch
676 commits
─── ecosystems
─── languages
- Python16
- Solidity13
- Java11
- Rust7
- C++5
- Haskell4
─── subscriber view
Unlock the full view of runtimeverification
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.