Sentence examples for model checking using from inspiring English sources

Inference on population history and model checking using DNA sequence and microsatellite data with software DIYABC v1.00).

The primary focus is on model checking using LTL specifications, though other approaches are briefly discussed and compared to using LTL.

Transformation onto the Communicating Sequential Processes (CSP) formalism allows for model checking using the Failures Divergences Refinement Checker (FDR2) model checker.We demonstrate how using multiple formalisms as well as model transformations during the design process can drastically improve productivity, reliability and reusability.

While model checking using most timed temporal logics is PSPACE-complete or harder [Alur and Henzinger, Inform. and Comput. 104 (1993) 35; Alur et al., Inform. and Comput. 104 (1993) 2], we show that many practical timing queries, where we are interested in the worst-case or best-case timings, can be answered in polynomial time by querying the system using Min-max CTL.

The enabling technology for allowing timing analyses is model checking using UPPAAL.

In all cases, model checking using UPPAAL takes less than a second.

The statistical model was checked using model adequacy principles; model adequacy checking is an important step in validating the applicability of a model to fitting experimental results.

Following Wooldridge (2002) and Baltagi (2005), the statistical justification for the use of the fixed effects model over the random effects model was checked using the Hausman test.

Goodness of fit of the model was checked using the Pearson statistic and the reported models fit the data well (P>0.990 for all models).

The goodness-of-fit of each model was checked using the Hosmer & Lemeshow test (Hosmer and Lemeshow, 1989) and the final model reported fits the data adequately (P=0.666).

The accuracy of the proposed model was checked using various statistical parameters and graphical representations.