Results 41 to 50 of about 253,484 (163)
Dynamic Forces between the Rails and the Wheels of Railway Vehicle
Promet (Zagreb), 2016 The process of acquisition of the measured dynamic values of forces between the rails and the wheels on the real measurement train and the train tracks.
Zdravko Peran
doaj +1 more source
Predicting SMT Solver Performance for Software Verification [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 The Why3 IDE and verification system facilitates the use of a wide range of Satisfiability Modulo Theories (SMT) solvers through a driver-based architecture. We present Where4: a portfolio-based approach to discharge Why3 proof obligations.
Andrew Healy +2 more
doaj +1 more source
An application layer with protocol-based java smart contract verification
Frontiers in Computer ScienceSmart contracts are software that runs in blockchain and expresses the rules of an agreement between parties. An incorrect smart contract might allow blockchain users to violate its rules and even jeopardize its expected security.
Luca Olivieri +2 more
doaj +1 more source
Input parameters authentication through dynamic software watermarking
Frontiers in Computer ScienceModern civilization relies on computers and the Internet. Web services and microservices make many processes more accessible, often without users realizing the extent of their dependency.
Maikel Lázaro Pérez Gort
doaj +1 more source
IEEE Access, 2021 Formal verification can mathematically prove whether a software satisfies the requirements described in its design. In traditional software development, even if the software systems, especially the operating system for Internet of Things in smart cities,
Zhenjiang Qian, Wei Liu, Yiyang Yao
doaj +1 more source
METHOD OF SOFTWARE VERIFICATION OF AIR OBJECTS CLASSIFICATION FUZZY LOGICAL SYSTEM
Сучасні інформаційні системи, 2018 Objects of different classes are detected in the process of monitoring airspace. The classification of an air object is the process of establishing its belonging to a preassigned class. Classes are automatically determined or set automated.
Oleksander Timochko
doaj +1 more source
Software/Hardware Co-Verification for Custom Instruction Set Processors
IEEE Access, 2021 Verification of software and processor hardware usually proceeds separately, software analysis relying on the correctness of processors executing machine instructions.
Marie-Christine Jakobs +4 more
doaj +1 more source
Deductive software verification [PDF]
International Journal on Software Tools for Technology Transfer, 2011 Deductive software verification, also known as program proving, expresses the correctness of a program as a set of mathematical statements, called verification conditions. They are then discharged using either automated or interactive theorem provers. We briefly review this research area, with an emphasis on tools.
openaire +1 more source
Fuzzy coloured petri nets‐based method to analyse and verify the functionality of software
CAAI Transactions on Intelligence Technology, 2023 Some types of software systems, like event‐based and non‐deterministic ones, are usually specified as rules so that we can analyse the system behaviour by drawing inferences from firing the rules.
Mina Chavoshi, Seyed Morteza Babamir
doaj +1 more source
Cogent EngineeringThis article examines the use, acceptance, and perceptions of metamorphic testing (MT) for a sample of open-source software developers. The study findings, including descriptive data and the results of correlational analyses, are used to inform ...
Brittany R. Hoard
doaj +1 more source