Contributor
@bbyalcinkaya
repos
14
ecosystems
3
languages
5
commits
210
Protocol audits and formal models for the MultiversX blockchain
A Formal Semantics of WebAssembly in K
Wasm semantics for the Elrond/MultiversX blockchain network
Property testing for Stylus smart contracts
Test suite for MIR semantics
A python implementation of the web assembly interpreter
K Framework Tools 7.0
An example project for testing a simple contract using Komet
Publications of Runtime Verification, Inc.
K and Semantics Distribution Tool
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
