Results 21 to 30 of about 3,649,820 (385)
Passport: Improving Automated Formal Verification Using Identifiers [PDF]
ACM Transactions on Programming Languages and Systems, 2022 Formally verifying system properties is one of the most effective ways of improving system quality, but its high manual effort requirements often render it prohibitively expensive. Tools that automate formal verification by learning from proof corpora to
Alex Sanchez-Stern +5 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
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
Linear Encodings of Bounded LTL Model Checking [PDF]
Logical Methods in Computer Science, 2006 We consider the problem of bounded model checking (BMC) for linear temporal logic (LTL). We present several efficient encodings that have size linear in the bound.
Armin Biere +4 more
doaj +1 more source
Model‐based validation of diagnostic software with application in automotive systems
IET Cyber-systems and Robotics, 2021 Software validation aims to ensure that a particular software product fulfils its intended purpose, and needs to be performed against both software requirement as well as its implementation (i.e. product). However, for diagnostic software (i.e.
Jun Chen, Ramesh S
doaj +1 more source
Formal Verification of Websites [PDF]
Electronic Notes in Theoretical Computer Science, 2008 AbstractIn this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined as a collection of web pages which are semantically connected in some way. External web pages (which are related pages not belonging to the website) are treated as the
Sonia Flores +2 more
openaire +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
A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems [PDF]
, 2013 . Hybrid systems with both discrete and continuous dynamics are an important model for real-world physical systems. The key challenge is how to ensure their correct functioning w.r.t. safety requirements.
Mitsch, Stefan +2 more
core +5 more sources