Sentence examples for analyse the correctness from inspiring English sources

In this paper, we analyse the correctness of the CSMA/CD protocol, using techniques from probabilistic model checking and approximate probabilistic model checking.

On-the-fly verification consists in analysing the correctness of a finite-state concurrent system by constructing and exploring its state space incrementally.

The state space report obtained from the model is analysed to check the correctness of the model and see if the model satisfies dynamic properties.

Domain statement was used in all analyses to ensure the correctness of variance estimates.

In the analyses, correctness included the categories total and partial correctness from the initial assessment.

Theoretical analyses are conducted to justify the correctness of simulation results and the effectiveness of control strategy for inverters under fault conditions.

Then a comparative analysis between theoretical value and measured value is provided to verify the correctness of the analyses.

Finally, numerical simulations are given to evaluate and demonstrate the superiority of the multiuser receivers with forward backward averaging technique and the correctness of weighting analyses.

Time-domain simulation results of IM loads connected to an infinite system through a long transmission line, with STATCOM compensation implemented in MATLAB/Simulink, validate the correctness of the analyses.

J.K.B., M.M. and J.S. had full access to the data and take responsibility for the correctness of the analyses.

Additionally, errors in code or in data manipulation are easy to make [ 10]: it is in general difficult to check for the correctness of neuroimaging analyses.