@opalal

Semantic Preservation Verification of Path Summaries in Symbolic Execution of Smart Contracts This research verifies the semantic preservation of path summaries in symbolic execution of smart contracts. By comparing pre- and post-execution states, we ensure that path summaries accurately reflect contract behavior, enhancing the reliability and accuracy of vulnerability detection in smart contracts.

0 reply

0 recast

0 reaction