Sentence examples for safety properties from inspiring English sources

Moreover, the developed framework enables checking safety properties at runtime.

There are many source-level analyses or instrumentation tools that enforce various safety properties.

Moreover, box invariance is quite useful for the verification of safety properties of such systems.

We also give a polymorphic type system that statically enforces basic safety properties.

This paper deals with the development of manufacturing machinery subjected to strong dependability and safety properties.

B models are validated by discharging proof obligations ensuring safety properties.

It relies on safety properties provided by sublevel sets of equilibria-parameterized functions.

Thereafter, optimal working fluids are identified, according to the cycle parameters, environmental and safety properties.

With this environment, it is also possible to verify important safety properties about a prototype implementation.

The results show that the HTR-10 has inherent safety properties.

The use of a modeling language for specifying safety properties and a control function is illustrated.