Sentence examples for checking of safety from inspiring English sources

Mocha supports invariant model checking directly (to check that all reachable states satisfy some property that relates to the values of variables in the state), as well as model checking of safety properties using monitors (to check that all executions satisfy some property).

The senior author (PA), who is not a clinician and not involved in clinical care related to any child in the trial, monitored mortality registered by the routine registration system quarterly as a check of safety.

Windowed induction has been proposed by Sheeran, Singh, and Stalmarck as a technique augmenting Bounded Model Checking for unbounded verification of safety properties.

The in-network representation of the type system is designed to facilitate component discovery and the checking of type safety at runtime, while minimizing overhead.

Recently, the notion of an array-based system has been introduced as an abstraction of infinite state systems (such as mutual exclusion protocols or sorting programs) which allows for model checking of invariant (safety) and recurrence (liveness) properties by Satisfiability Modulo Theories (SMT) techniques.

Li et al. [4] attempts to address the problem of consistency checking for safety and availability in the context of access control.

The best response is to carry out more research into the health effects of any new materials and to allow regulators to control the spread of the technology – fortunately there is already a robust way of checking the safety of any new material.

Many countries are experiencing an increasing need of checking the safety of existing structures.

Plenty of accidents do occur under circumstances that can be distinguished by analyzing project documents, but available BIM-based tools are currently limited to checking the clauses of safety standards.

Ships themselves are certified and inspected by independent classification societies, like Lloyd's Register Group and the Italian RINA S.p.A., Mr. Wild said, that perform annual checks of ship safety conditions, lifeboats and the like.

Finally, cross-checking of the safety problems identified and the infrastructure solutions available provided lists of measures recommended for application at various types of sites.