Sentence examples for check equivalence from inspiring English sources
An algorithm used to check equivalence or non-equivalence is evaluated.
Discussion between the central team and Danish collaborators was then undertaken to check equivalence of linguistic, cultural and professional meaning with the UK English version.
If so, then check the equivalence (c_1equiv _{M'} s_{mathrm {acc}}(M')) using the oracle that checks equivalence of configurations of (M').
Differently from differential equations, process calculi also allow for analysis of models (e.g. model-checking, equivalence, reachability, causality, and locality analysis).
Then formal verification techniques provided by the MDG tool, such as model checking or equivalence checking, can be applied on the generated models.
The SAT-based model checking and equivalence checking for logic design levels, such as register transfer level (RTL), are becoming very practical.
It allows us to check the equivalence between two models in different levels of abstraction, e.g., a Register Transfer Level (RTL) implementation and a non-cycle-accurate specification.
A promising verification strategy for future very complex designs is to initially verify the design at the highest level of abstraction, and then check the equivalence of the lower level automatically generated models against that initial golden model.
The questionnaire were translated first to Hadiyigna (the local language) and back translated to English language to check conceptual equivalence.
In 29 patients from the case study, MSI determination by microsatellite analysis [ 39] was also performed to check the equivalence of this method with the determination of the MMR system status through the immunohistochemical evaluation of MLH1 and MSH2.
