Sentence examples for locate an error from inspiring English sources

While model checking is capable of automatically testing that a concurrent system satisfies its formal specification, it can not precisely locate an error and suggest a repair, i.e., a suitable correction, to the system.

Time was wasted locating an error flagged by one program that had already been resolved using errors from another program.

First, they locate a potential error in the model by clicking on the erroneous model construct.

Thus if the cross correlation of full leak acoustic signals are used to locate a leakage, the location error is inevitably large.

Experiment data indicate that the mass center is located with an error of tens of nanometers.

The hypocenter and magnitude are consistent with those obtained by other studies (e.g., Nakamura and Aoi 2016; Uchide et al. 2016; Yoshida 2016), where the hypocenters are located within an error range of ~1 km using different velocity models, and the moment magnitude or local magnitude ranges from 5.6 to 6.5.

Our results clearly show that it is possible to use formal modeling in the commercial setting effectively: we were able to locate a number of specification errors that were missed by several manual specification inspections, and used the model to derive the test cases that, by the time we left the project, doubled the number of errors discovered by Nortel testers.

Unlike ten Raa [23] and ten Raa and van der Ploeg [26] who use a priori estimated errors, Steenge proposes a way to locate errors a posteriori.

In this sense, the mobile devices could be well located (location error below 1 m), thanks to external network localization processes like infrared laser and UWB.

The two-stage approach here thus combines a constructed-response format (the click on an arbitrary position in the model to locate the error) with a selected-response format (the selection of the error type from a provided list).

As we show later in Section 5, a sensor is able to locate itself anywhere anytime within predefined error threshold and this error threshold applies also on locating an incident when detected.