登陆
注册
工具列表
Tool list
K Framework
2020-06-01
192
-
A formal verification tool for Ethereum VM bytecode
In this paper, we present a formal verification tool for the Ethereum Virtual Machine (EVM) bytecode...
-
Defining the undefinedness of C
We present a "negative" semantics of the C11 language---a semantics that does not just give meaning ...
-
MatchC: A Matching Logic Reachability Verifier Using the K Framework
This paper presents MatchC, a matching logic reachability verifier using the K framework. K is a rew...
