Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Development of an ML-based Verification Tool for Timed CSP Processes
View through CrossRef
We report the development of a verification tool for Timed CSP processes. The tool has been built on the functional programming language ML. The tool interprets processes described in both timed and untimed CSP, converting them to ML functions, and executing those functions for the verification of refinement in the timed traces and timewise traces models. Using the programmability of higher order functionality, the description of CSP processes with ML has been synthesised naturally. The effectiveness of the tool is demonstrated with an example analysing implementations of Fischer's algorithm for the exclusive control of a shared resource in a multi-processor environment.
Title: Development of an ML-based Verification Tool for Timed CSP Processes
Description:
We report the development of a verification tool for Timed CSP processes.
The tool has been built on the functional programming language ML.
The tool interprets processes described in both timed and untimed CSP, converting them to ML functions, and executing those functions for the verification of refinement in the timed traces and timewise traces models.
Using the programmability of higher order functionality, the description of CSP processes with ML has been synthesised naturally.
The effectiveness of the tool is demonstrated with an example analysing implementations of Fischer's algorithm for the exclusive control of a shared resource in a multi-processor environment.
Related Results
Analysis of pregnancy outcomes following surgical treatment of cesarean scar pregnancy
Analysis of pregnancy outcomes following surgical treatment of cesarean scar pregnancy
Abstract
Purpose
To investigate the surgical treatment approaches for patients with Cesarean scar pregnancy (CSP) and the effects on subsequent preg...
Safety and Efficacy of 14-Day Cold Stored Platelets in Reversing Effects of Aspirin
Safety and Efficacy of 14-Day Cold Stored Platelets in Reversing Effects of Aspirin
Abstract
Background: Aspirin is an antiplatelet therapy used to reduce the risk of vascular occlusive events. However, this therapy is associated with an increased r...
Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language
Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language
The inclusion problem is one of the common problems in real-time systems. The general form of this problem is undecidable; however, the time-bounded verification of inclusion probl...
Optimising tool wear and workpiece condition monitoring via cyber-physical systems for smart manufacturing
Optimising tool wear and workpiece condition monitoring via cyber-physical systems for smart manufacturing
Smart manufacturing has been developed since the introduction of Industry 4.0. It consists of resource sharing and networking, predictive engineering, and material and data analyti...
Abstract 210: Novel antibody drug conjugate to inhibit mesothelioma tumor growth
Abstract 210: Novel antibody drug conjugate to inhibit mesothelioma tumor growth
Abstract
Mesothelioma is an aggressive but rare form of cancer with a poor prognosis. 1-year survival is ~40% and 5-year survival remains in single digits. Treatm...
Platelet dysfunction reversal with cold-stored vs. room temperature-stored platelet transfusions
Platelet dysfunction reversal with cold-stored vs. room temperature-stored platelet transfusions
ABSTRACTBackgroundPlatelets are stored at room temperature for 5-7 days (RSP). Due to frequent and severe shortages, the FDA recently approved up to 14-day cold-stored platelets in...
Development and Evaluation of a Modern C++CSP Library
Development and Evaluation of a Modern C++CSP Library
Although many CSP inspired libraries exist, none yet have targeted modern C++ (C++11 onwards). The work presented has a main objective of providing a new C++CSP library which adher...
The Continuous Sampling Plan for Two Production Lines: The CSP-2L
The Continuous Sampling Plan for Two Production Lines: The CSP-2L
This paper presents the CSP-2L continuous sampling plan, which is designed for product inspectionon two independent production lines at the same time. The purpose of the CSP-2L is ...