https://deepai.org/publication/an-ethereum-compatible-blockchain-that-explicates-and-ensures-design-level-safety-properties-for-smart-contracts
04/17/23 - Smart contracts are crucial elements of decentralized technologies, but they face significant obstacles to trustworthiness due to ...
ethereumcompatibleblockchainexplicatesensures