Results 321 to 330 of about 3,649,820 (385)
Some of the next articles are maybe not open access.
Formal Verification of Safety-Critical Aerospace Systems
IEEE Aerospace and Electronic Systems Magazine, 2023Developments in autonomous aircraft, such as electrical vertical take-off and landing vehicles and multicopter drones, raise safety-critical concerns in populated areas.
S. Paul +8 more
semanticscholar +1 more source
On the Formal Verification of Smart Contracts
2023 11th International Conference in Software Engineering Research and Innovation (CONISOFT), 2023In recent years, Blockchain-based systems have experienced rapid growth. Although these systems are in production, they are not exempt from presenting defects in the design of their elements such as Smart Contracts. Design defects in Smart Contracts lead
René Dávila +2 more
semanticscholar +1 more source
Formal Methods for the Verification of Smart Contracts: A Review
International Conference on Security of Information and Networks, 2022Smart contracts are digital contracts that rely on Blockchain technology to make their terms and execution conditions unforgeable. The purpose of a smart contract is to eliminate the need for a middleman in business and trade between anonymous and ...
M. Krichen +2 more
semanticscholar +1 more source
A Survey on Formal Verification for Solidity Smart Contracts
Australasian Computer Science Week, 2021One of the 21st century’s hottest topics in the world of IT has been the emergence of what some predict to be the foundation stone for a new era of internet (web 3.0): Blockchain technology.
Ikram Garfatta +3 more
semanticscholar +1 more source
Polynomial Formal Verification of Prefix Adders
Asian Test Symposium, 2021Nowadays, prefix adders are widely used in different designs and applications due to their flexible carry propagation hardware. The variety of these adders makes it possible to find the best choice based on the design parameters, e.g., area, delay ...
Alireza Mahzoon, R. Drechsler
semanticscholar +1 more source
Pruning and Slicing Neural Networks using Formal Verification
Formal Methods in Computer-Aided Design, 2021Deep neural networks (DNNs) play an increasingly important role in various computer systems. In order to create these networks, engineers typically specify a desired topology, and then use an automated training algorithm to select the network’s weights ...
O. Lahav, Guy Katz
semanticscholar +1 more source
Towards Formal Verification of Optimized and Industrial Multipliers
Design, Automation and Test in Europe, 2020Formal verification methods have made huge progress over the last decades. However, proving the correctness of arithmetic circuits involving integer multipliers still drives the verification techniques to their limits. Recently, Symbolic Computer Algebra
Alireza Mahzoon +3 more
semanticscholar +1 more source
LLM-Guided Formal Verification Coupled with Mutation Testing
Design, Automation and Test in EuropeThe increasing complexity of modern hardware designs poses significant challenges for design verification, particularly defining and verifying properties and invariants manually. Recently, Large Language Models (LLMs) such has GPT-4 have been explored to
Muhammad Hassan +4 more
semanticscholar +1 more source