| German |
| has gloss | deu: Model 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 Systembeschreibung M und eine gegebene logische Eigenschaft \phi, prüfe, ob M Modell ist für \phi (formal M \models \varphi). |
| lexicalization | deu: Model Checking |
| lexicalization | deu: Modelchecking |
| French |
| has gloss | fra: Le désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent dorigine informatique ou électronique). Il sagit de vérifier algorithmiquement si un modèle donné, le système lui-même ou une abstraction du système, satisfait une spécification, souvent formulée en termes de logique temporelle. |
| lexicalization | fra: model checking |
| Italian |
| has gloss | ita: Il model checking è un metodo per verificare algoritmicamente i sistemi formali. Viene realizzato mediante la verifica del modello, spesso derivato dal modello hardware o software, soddisfacendo una specifica formale. La specifica è spesso scritta come formule logiche temporali. |
| lexicalization | ita: model checking |
| Japanese |
| has gloss | jpn: モデル検査（Model Checking）とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足するかどうか検証する。仕様は時相論理の論理式の形式で記述することが多い。 |
| lexicalization | jpn: モデル検査 |
| Lithuanian |
| has gloss | lit: Modelių tikrinimu informatikoje vadinamas automatizuotas patikrinimas, ar modelis atitinka pateiktus reikalavimus. Dažniausiai tai programinės ar techninės įrangos sistemos (nebūtinai), ir dažniausi reikalavimai yra aklaviečių ar panašių kritinių būsenų, lemiančių blogą sistemos, nebuvimas. |
| lexicalization | lit: Modelių tikrinimas |
| Portuguese |
| has gloss | por: No campo da Ciência da Computação, Verificação de Modelos (do inglês, Model Checking) refere-se ao problema de testar automaticamente se um modelo que representa um sistema atende a uma dada especificação. |
| lexicalization | por: Model Checking |
| lexicalization | por: Verificação de modelos |
| Russian |
| has gloss | rus: Проверка моделей (проверка на модели, ) — метод автоматической формальной верификации параллельных систем с конечным числом состояний. Позволяет проверить удовлетворяет ли заданная модель системы формальным спецификациям. |
| lexicalization | rus: Проверка моделей |
| Slovak |
| has gloss | slk: Overovanie modelov alebo model checking je automatizovaná metóda formálnej verifikácie paralelného systému s konečným počtom stavov. Kontroluje sa, či zadaný model vyhovuje špecifikácii. Model sa zadáva ako systém prechodov stavov kde vrcholy sú stavy a postupnosť prechodov predstavuje vykonávanie správania sa modelu. Špecifikácia systému sa zadáva formulami temporálnej logiky. Výsledkom verifikácie je odpoveď na otázku, či model spĺňa špecifikáciu. Ak nie, je k dispozícii protipríklad (counter-example), ktorý predstavuje postupnosť prechodov, ktoré vedú k nedodržaniu konkrétnej temporálnej formule. Táto metóda kontroluje celý stavový priestor modelu a dokáže odhaliť množstvo zákerných chýb, ktoré su neodhaliteľné pri simulácii a testovaní. |
| lexicalization | slk: Overovanie modelov |
| Castilian |
| has gloss | spa: Con el nombre Model checking se conoce a un método automático de verificación de un sistema formal, en la mayoría de las ocasiones derivado del hardware o del software de un sistema informático. El sistema es descrito mediante un modelo, que debe satisfacer una especificación formal descrita mediante una fórmula, a menudo escrita en alguna variedad de lógica temporal. |
| lexicalization | spa: Model checking |