Repository · steady
Publications of Runtime Verification, Inc.
stars
94
forks
21
contributors
24
open issues
0
ACassimiro
@ACassimiro
14
commits
daejunpark
@daejunpark
13
lisandrasilva
@lisandrasilva
12
geo2a
@geo2a
8
JuanCoRo
@JuanCoRo
malturki
@malturki
7
yzhang90
@yzhang90
6
ovatman
@ovatman
mcalancea
@mcalancea
RaoulSchaffranek
@RaoulSchaffranek
5
spencerhaoxiao
@spencerhaoxiao
4
dkcumming
@dkcumming
yanliu18
@yanliu18
bogdan-stanciu
@bogdan-stanciu
3
gregorymakodzeba
@gregorymakodzeba
anvacaru
@anvacaru
virgil-serbanuta
@virgil-serbanuta
2
hjorthjort
@hjorthjort
lucasmt
@lucasmt
palinatolmach
@palinatolmach
david-k
@david-k
bbyalcinkaya
@bbyalcinkaya
1
ehildenb
@ehildenb
vasil-sd
@vasil-sd
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/javamop
Runtime verification system for Java, using AspectJ for instrumentation.
runtimeverification/erc20-semantics
ERC20 in K
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.
