We're sorry but ourresearch-website-2 doesn't work properly without JavaScript enabled. Please enable it to continue.
OpenAlex
Log in
Sign up
back
Runtime Verification (United States)
Institution
View works
ROR:
Yes
Works count:
34
Citations count:
863
Top works
View all
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
2018
·
Everett Hildenbrandt
, Manasvi Saxena
, et al.
Cited by 337
A formal verification tool for Ethereum VM bytecode
2018
·
Daejun Park
, Yi Zhang
, et al.
Cited by 96
PDF
Semantics-based program verifiers for all languages
2016
·
Andrei Ştefănescu
, Daejun Park
, et al.
Cited by 71
PDF
Key stats
year
open access
topic
type
