Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems

Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems

In recent publications, we presented a novel formal symbolic process virtual machine (FSPVM) framework that combined higher-order logic theorem proving and symbolic execution for verifying the reliability and security of smart contracts developed in the Ethereum blockchain system without suffering f...

Ամբողջական նկարագրություն

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Zheng Yang, Hang Lei
Ձևաչափ: Հոդված
Լեզու:English
Հրապարակվել է: IEEE 2018-01-01
Շարք:IEEE Access
Խորագրեր:
Formal verification
smart contracts
evaluation strategy
interpreter
higher-order logic theorem proving
security
Առցանց հասանելիություն:https://ieeexplore.ieee.org/document/8531607/

Համացանց

https://ieeexplore.ieee.org/document/8531607/

Նմանատիպ նյութեր