Towards a Formally Verified EVM in Production Environment.

Xiyue Zhang, Yi Li, Meng Sun

Browse the full Coordination paper archive.