Search
Search Results
-
Non-Invasive Hardware Trojans Modeling and Insertion: A Formal Verification Approach
In modern chip designs, shared resources are used extensively. Arbiters usage is crucial to settle conflicts when multiple requests compete for these...
-
A user study for evaluation of formal verification results and their explanation at Bosch
ContextEnsuring safety for any sophisticated system is getting more complex due to the rising number of features and functionalities. This calls for...
-
Formal Verification of Blockchain Based Tender Systems
AbstractA tender process consists in competing offers from different candidate suppliers or contractors. The tender winner is supposed to supply or...
-
Verification of transaction-aware web services composition through formal methods
Due to the popularity of web-based technologies and the cloud computing paradigm, organizations are adopting web services composition for the...
-
Formal verification for security and attacks in IoT physical layer
IoT devices are more important than ever. In a connected world, IoT devices have many uses. They are no longer merely used at work; they are part of...
-
A graphical tool for formal verification using Event-B modeling
Event-B is a formal method for describing and verifying systems at the system level. It enables a refining technique to design the system...
-
A formal component model for UML based on CSP aiming at compositional verification
Model-based engineering emerged as an approach to tackle the complexity of current system development. In particular, compositional strategies assume...
-
Formal modelling and verification of scalable service composition in IoT environment
A system based on the internet of things (IoT) consists of services deployed across several devices that collaborate to fulfil IoT system goals. The...
-
Novel Patterns for Formal Verification of System Safety Properties
Single-shot operation systems like missiles and satellite launch vehicles operate on pre-defined sequence of control with built-in safety...
-
Three Early Formal Approaches to the Verification of Concurrent Programs
This paper traces a relatively linear sequence of early research approaches to the formal verification of concurrent programs. It does so forwards...
-
Enhancement and formal verification of the ICC mechanism with a sandbox approach in android system
Inter-Component Communication (ICC) plays a crucial role in facilitating information exchange and functionality integration within the complex...
-
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification
Develo** robotic applications with human–robot interaction for the service sector raises a plethora of challenges. In these settings, human...
-
-
Formal Verification of Universal Numbers using Theorem Proving
A universal number (
Unum ) is a number representation format that can reduce the memory contention issues in multicore processors and parallel... -
Formal verification of reconfigurable systems
Automation is one of the foremost technological trends in mining. Automation empowers mining companies to work around the clock and maximize...
-
Towards Formal Verification of a TPM Software Stack
The Trusted Platform Module (TPM) is a cryptoprocessor designed to protect integrity and security of modern computers. Communications with the TPM go... -
Formal Modeling and Verification of the Functionality of Electronic Urban Railway Control Systems Through a Case Study
This paper presents a formal model-based methodology to support railway engineers in the design of safe electronic urban railway control systems. The...
-
Benchmark: Formal Verification of Semantic Segmentation Neural Networks
Formal verification utilizes a rigorous approach to ensure the absence of critical errors and validate models against predefined properties. While... -
Formal Verification Based Synthesis for Behavior Trees
Behavior trees (BTs) have been extensively applied in the area of both computer games and robotics, as the control architectures. However, the... -
Generalized Formal Model-Verifier: A Formal Approach for Verifying Static Models
The field of software modeling has gained significant popularity in the last decades. By capturing the static aspects of the software requirements,...