Comprehensive Application of Formal Verification, Static Analysis, and Dynamic Testing of Smart Contracts in Blockchain Financial Security

Comprehensive Application of Formal Verification, Static Analysis, and Dynamic Testing of Smart Contracts in Blockchain Financial Security

연구 분야: Analysis

학회: 2025 9th International Symposium on Innovative Approaches in Smart Technologies (ISAS)

Blockchain technology, which has numerous attributes like decentralization, transparency and secure nature has transformed the traditional financial systems. Innovation in the current blockchain application is automated using smart contracts which are a kind of self-execution protocol. The framework also incorporates probabilistic formal verification in order to handle unpredicted scenarios, context-sensitive static analysis with taint tracking for precise vulnerability detection, and adaptive fuzz testing to identify runtime issues. By selecting benefits of these techniques collectively, the framework offers an improved solution for securing smart contracts. The proposed framework outperforms with 97 \% detection rate for vulnerabilities, 85 \% test coverage, and significant reductions in false positives and negatives thereby, proving its superiority in terms of accuracy, coverage and efficiency as compared to other methods. The framework also offers scalability and adaptability benefits for complex decentralized financial systems. The framework also enhances the security and reliability of financial applications. In the future, this integrated framework can incorporate real-time security mechanisms in order to expand the blockchain-based financial systems with stability and trust.