Results 11 to 20 of about 135,609 (263)
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
Formal Verification of Code Conversion: A Comprehensive Survey
TechnologiesCode conversion, encompassing translation, optimization, and generation, is becoming increasingly critical in information systems and the software industry.
Amira T. Mahmoud +7 more
doaj +3 more sources
Formal Verification and Co-Simulation in the Design of a Synchronous Motor Control Algorithm
Energies, 2020 Mechatronic systems are a class of cyber-physical systems, whose increasing complexity makes their validation and verification more and more difficult, while their requirements become more challenging.
Cinzia Bernardeschi +4 more
doaj +3 more sources
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
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
Automatic Formal Specification and Its Verification of Assembly-Level Sequential Statement Blocks [PDF]
Jisuanji gongcheng, 2019 Formal verification of software is an important means to guarantee the provability,reliability and security of software, but the generation process of traditional formal verification script is complex and requires a lot of manual verification of formal ...
QI Longyun, Lü Xiaoliang, LU Hong, HUANG Hao
doaj +1 more source
Formal Verification of Fault-Tolerant Hardware Designs
IEEE Access, 2023 Digital circuits for space applications can suffer from operation failures due to radiation effects. Error detection and mitigation techniques are widely accepted solutions to improve dependability of digital circuits under Single Event Upsets (SEUs) and
Luis Entrena +6 more
doaj +1 more source
Formal Verification, Engineering and Business Value [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 How to apply automated verification technology such as model checking and static program analysis to millions of lines of embedded C/C++ code? How to package this technology in a way that it can be used by software developers and engineers, who might ...
Ralf Huuck
doaj +1 more source
Formal verification for a PMQTT protocol
Egyptian Informatics Journal, 2020 The future of Internet of Things (IoT) foresees a world of interconnected people with every physical object in a seamless manner. The security related aspects for the IoT world are still an open field of discussion and research.
Eman Elemam +3 more
doaj +1 more source