formal verification
2 articles · search the full text for this term
-
Triple-Threat Analysis: Measuring Mythril, Slither and Oyente Against Real-World Smart Contract Vulnerabilities
Abstract: Smart contracts have become fundamental building blocks of blockchain ecosystems, yet their immutable nature makes security vulnerabilities particularly devastating. This pa- per presents a comprehensive evaluation of three prominent static analysis tools—Mythril, Slither, and Oyente—for detecting vulnerabilities in Ethereum smart contracts. Through systematic experimentation with real-world contract categories (voting sys- tems, land registries, and crowdfunding platforms), we quantify the effectiveness of each tool across eight critical vulnerability types, including reentrancy, …
Published in Journal of Artificial Intelligence Research & Advances · Vol. 13, Issue 1, 2025 Read article
-
An Adaptive Approach for Real-Time Embedded System Design, Analysis and Optimization
Abstract: Real-time embedded systems are critical components in various domains, such as automotive, aerospace, healthcare, and industrial automation. The design, analysis, and optimization of these systems are vital to ensure their reliable and efficient operation. In this paper, we propose an adaptive approach for real-time embedded systems that aims to address the challenges faced during the development process while maintaining high-quality results. Our approach leverages adaptive techniques to dynamically adjust the …
Published in International Journal of Solid State Innovations & Research · Vol. 1, Issue 1, 2023 · pp. 8–14 Read article