Results 341 to 350 of about 3,649,820 (385)
Some of the next articles are maybe not open access.
Formal Verification Successes at Motorola
Formal Methods in System Design, 2003zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Magdy S. Abadir +4 more
openaire +3 more sources
Survey of Formal Verification Methods for Smart Contracts on Blockchain
International Conference on New Technologies, Mobility and Security, 2019Due to the immutable nature of distributed ledger technology such as blockchain, it is of utter importance that a smart contract works as intended before employment outside test network.
Yvonne Murray, D. A. Anisi
semanticscholar +1 more source
An Improvement in Formal Verification
1995Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usually implemented as a depth-first search of the product state-space of all components in the system, with each (finite state) component modeling the behavior of one ...
Gerard J. Holzmann, Doron Peled
openaire +2 more sources
The Prusti Project: Formal Verification for Rust
NASA Formal Methods, 2022Vytautas Astrauskas +7 more
semanticscholar +1 more source
Formal Verification of Robustness
2015Due to the decreasing size of transistors, the probability of transient errors and the variability of the transistor’s characteristics in electrical circuits are continuously increasing. These issues demand for techniques to check the robustness of circuits and their behavior under transient faults and variability.
Görschwin Fey, Niels Thole
openaire +2 more sources
Formal verification of weakly-hard systems
International Conference on Hybrid Systems: Computation and Control, 2019Weakly-hard systems are real-time systems that can tolerate occasional deadline misses in a bounded manner. Compared with traditional systems with hard deadline constraints, they provide more scheduling flexibility, and thus expand the design space for ...
Chao Huang, Wenchao Li, Qi Zhu
semanticscholar +1 more source
Diversity-Driven Automated Formal Verification
International Conference on Software Engineering, 2022E. First, Yuriy Brun
semanticscholar +1 more source
Radiomic features for prostate cancer grade detection through formal verification
La radiologia medica, 2021A. Santone +8 more
semanticscholar +1 more source
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings., 2003
As designs become more complex, formal verification techniques are becoming increasingly important in the hardware industry. Many different methods are used, ranging from propositional tautology checking up to use of interactive higher-order theorem provers.
openaire +2 more sources
As designs become more complex, formal verification techniques are becoming increasingly important in the hardware industry. Many different methods are used, ranging from propositional tautology checking up to use of interactive higher-order theorem provers.
openaire +2 more sources
Overview of Formal Verification
2010Formal verification of a computing system entails a mathematical proof showing that the system satisfies its desired property or specification. To do this, we must use some mathematical structure to model the system of interest and derive the desired properties of the system as theorems about the structure.
openaire +2 more sources