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...
-
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...
-
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...
-
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...
-
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...
-
Polynomial Formal Verification of Approximate Functions
During the development of digital circuits, their functional correctness has to be ensured, for which formal verification methods have been... -
Formal Verification
The verification of real-time codes implemented in embedded systems is a very important problem, as many of these systems, such as autopilot systems... -
Formal Verification
Since conventional methods used for the verification of CMOS circuitry do not apply to the FCN domain due to signal synchronization differences, a... -
Formal Modeling and Verification of the Design Layer of Space Operating Systems
The operating system is an essential basic software for spacecraft, and its reliability and safety are directly related to the success or failure of... -
SoK: Directions and Issues in Formal Verification of Payment Protocols
Consumers use various payment methods to purchase goods and services from retailers, such as cash, credit cards, debit cards, prepaid cards, and... -
Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model
Autonomous driving technology is safety-critical and thus requires thorough validation. In particular, the probabilistic algorithms employed in...
-
Formal Verification for VRM Requirement Models
At the requirements level, formal verification and analysis are the focus of task’s attention which is develo** complex systems by formal methods.... -
Verification
This chapter emphasizes the critical need for thorough verification of embedded systems, building upon the advantages of SystemC models outlined in... -
Polynomial Formal Verification of Arithmetic Circuits
The size and the complexity of digital circuits are increasing rapidly. This makes the circuits highly error-prone. As a result, proving the... -
Formal Modeling and Safety Verification for Mode Logic Requirements of Flight Guidance Control System
The Flight Guidance Control System (FGCS), one of the important parts of automatic flight control system, has many different kinds of automatic... -
Effective Parallel Formal Verification of Reconfigurable Discrete-Event Systems Formalizing with Isabelle/HOL
This paper addresses the formal verification of reconfigurable discrete event systems (RDESs) using Isabelle/HOL proof assistant. A reconfigurable... -
Formal Verification of Sequence Diagram with State Invariants Using Timed Automata
In a design model, the UML sequence diagrams typically play a crucial role in explaining the behaviors of the software system by showing the... -
Integrating scenario- and contract-based verification for automated vessels
Scenario-based verification defines the current state of the art for examining a vessel’s control systems for reliability and safety. However,...
-
Formal Verification of Vessel Scheduling Using Probabilistic Timed Automata
The effective management of time delays in vessel scheduling within the vessel transportation industry poses a complex challenge, as potential delays...