Pinned Repositories
scilla-coq
State-Transition Systems for Smart Contracts
scilla-coq-unclassy
Minimal formalization of CTL-based smart contract semantics
scilla-NuSMV
A FSM-based formalization of SCILLA semantics in NuSMV's CTL
beacon-chain-verification
rooibosriot's Repositories
rooibosriot/scilla-coq
State-Transition Systems for Smart Contracts
rooibosriot/scilla-coq-unclassy
Minimal formalization of CTL-based smart contract semantics
rooibosriot/scilla-NuSMV
A FSM-based formalization of SCILLA semantics in NuSMV's CTL