checking
61checking out — Termination of the status of a person as guest in a hotel. 29 Am J Rev ed Innk § 25; the operation in a supermarket whereby the customer s purchases are totaled, payment made by him, and the merchandise placed in bags for convenience in… …
62checking-room — checkˈroom or checkˈing room noun (N American) A cloakroom, luggage room or room where goods are checked • • • Main Entry: ↑check …
63Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… …
64Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… …
65Drug-Checking — Unter Drogenprüfung oder Drug Checking (auch: Drugchecking, Pill Testing) versteht man die chemische Analyse von zumeist auf dem Schwarzmarkt gehandelten psychotropen Substanzen, um potentielle Konsumenten vor besonders gesundheitsschädlichen… …
66Model Checking — (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für eine gegebene… …
67Bounds checking — In computer programming, bounds checking is any method of detecting whether a variable is within some bounds before its use. It is particularly relevant to a variable used as an index into an array to ensure its value lies within the bounds of… …
68Model Checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… …
69Model checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… …
70Conformance checking — is a process mining technique that takes an existing process model and compares it with an event log of the same process.[1] Conformance checking can be used to check if reality, as recorded in the log, conforms to the model and vice versa. For… …
