Results 1 to 10 of about 3,157,454 (357)
The MODUS Approach to Formal Verification [PDF]
Business Systems Research, 2014 Background: Software reliability is of great importance for the development of embedded systems that are often used in applications that have requirements for safety. Since the life cycle of embedded products is becoming shorter, productivity and quality
Brewka Lukasz +2 more
doaj +4 more sources
Formal Modeling and Verification for MVB [PDF]
Journal of Applied Mathematics, 2013 Multifunction Vehicle Bus (MVB) is a critical component in the Train Communication Network (TCN), which is widely used in most of the modern train techniques of the transportation system.
Mo Xia +3 more
doaj +3 more sources
End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract [PDF]
Computer Aided Verification32nd International Conference, 2020 We report our experience in the formal verification of the deposit smart contract, whose correctness is critical for the security of Ethereum 2.0, a new Proof-of-Stake protocol for the Ethereum blockchain.
Park D, Zhang Y, Rosu G.
europepmc +2 more sources
A model-based approach to automation of formal verification of ROS 2-based systems [PDF]
Frontiers in Robotics and AIFormal verification of robotic applications, particularly those based on ROS 2, is desirable for ensuring correctness and safety. However, the complexity of formal methods and the manual effort required for model creation and parameter extraction often ...
Lukas Dust +4 more
doaj +2 more sources
Using LLMs to Facilitate Formal Verification of RTL [PDF]
arXiv.org, 2023 Formal property verification (FPV) has existed for decades and has been shown to be effective at finding intricate RTL bugs. However, formal properties, such as those written as SystemVerilog Assertions (SVA), are time-consuming and error-prone to write,
Marcelo Orenes-Vera +2 more
semanticscholar +1 more source
Formal Verification of Quantum Programs: Theory, Tools, and Challenges [PDF]
ACM Transactions on Quantum Computing, 2021 Over the past 27 years, quantum computing has seen a huge rise in interest from both academia and industry. At the current rate, quantum computers are growing in size rapidly backed up by the increase of research in the field.
Marco Lewis, S. Soudjani, P. Zuliani
semanticscholar +1 more source
A Probabilistic Transformation of Distance-Based Outliers
Machine Learning and Knowledge Extraction, 2023 The scores of distance-based outlier detection methods are difficult to interpret, and it is challenging to determine a suitable cut-off threshold between normal and outlier data points without additional context.
David Muhr +2 more
doaj +1 more source
A Survey on Formal Verification and Validation Techniques for Internet of Things
Applied Sciences, 2023 The Internet of Things (IoT) has brought about a new era of connected devices and systems, with applications ranging from healthcare to transportation. However, the reliability and security of these systems are critical concerns that must be addressed to
M. Krichen
semanticscholar +1 more source
PolyAdd: Polynomial Formal Verification of Adder Circuits [PDF]
IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems, 2020 Only by formal verification approaches functional correctness can be ensured. While for many circuits fast verification is possible, in other cases the approaches fail.
R. Drechsler
semanticscholar +1 more source
Formal verification of an ARM processor [PDF]
Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013), 1999 This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM processors, uses features such as a 5-stage instruction pipeline, predicated execution, forwarding logic and multi-cycle instructions. The instruction set of the processor was
Randal E. Bryant, A. Jain, V.A. Patankar
openaire +4 more sources