About: model checking

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: model checking Goto Sponge NotDistinct Permalink

An Entity of Type : wikibase:Item, within Data Space : wikidata.demo.openlinksw.com associated with source document(s)

verifying whether a finite-state model meets a given specification

Attributes	Values
rdf:type	Item
owl:sameAs	model checking
description	verifikasjon av hvorvidt en endelig tilstandsmaskin tilfredsstiller en gitt spesifikasjon (nb) Verifikation einer Systembeschreibung gegen eine Spezifikation (de) verifying whether a finite-state model meets a given specification (en)
rdfs:label	Model Checking (de) Model checking (es) Model checking (fr) Model checking (it) Model checking (vi) Model kontrolü (tr) Modelių tikrinimas (lt) Overovanie modelov (sk) Verificação de modelos (pt) model checking (en) modellsjekking (nb) modellsjekking (nn) Έλεγχος μοντέλων (el) Перевірка моделі (uk) Проверка моделей (ru) وارسی مدل (fa) モデル検査 (ja) 模型检查 (zh-hans) 模型检测 (zh) 模型检测 (zh-cn) 모델체크 (ko)
skos:prefLabel	Model Checking (de) Model checking (es) Model checking (fr) Model checking (it) Model checking (vi) Model kontrolü (tr) Modelių tikrinimas (lt) Overovanie modelov (sk) Verificação de modelos (pt) model checking (en) modellsjekking (nb) modellsjekking (nn) Έλεγχος μοντέλων (el) Перевірка моделі (uk) Проверка моделей (ru) وارسی مدل (fa) モデル検査 (ja) 模型检查 (zh-hans) 模型检测 (zh) 模型检测 (zh-cn) 모델체크 (ko)
name	Model Checking (de) Model checking (es) Model checking (fr) Model checking (it) Model checking (vi) Model kontrolü (tr) Modelių tikrinimas (lt) Overovanie modelov (sk) Verificação de modelos (pt) model checking (en) modellsjekking (nb) modellsjekking (nn) Έλεγχος μοντέλων (el) Перевірка моделі (uk) Проверка моделей (ru) وارسی مدل (fa) モデル検査 (ja) 模型检查 (zh-hans) 模型检测 (zh) 模型检测 (zh-cn) 모델체크 (ko)
Freebase ID	wds:Q1569697-C49068FA-C809-492E-861C-A6F81270947B
Freebase ID	/m/01vjk8
subclass of	wds:Q1569697-3cefe416-44e2-2ba0-85f3-34c36176554d
subclass of	test
Dictionary of Algo...ata Structures ID	wds:Q1569697-D11D709A-E8AF-4F55-B20E-69B97FC9D512
Dictionary of Algo...ata Structures ID	modelcheckng
Commons category	wds:Q1569697-EDC5C767-BEEB-46A5-8612-9833619C0D83
Commons category	Model checking (computer science)
skos:altLabel	Model Checking (pt) Model checking (sk) Model-checking (sk) Modelchecking (de) Modelio patikrinimas (lt) Modellprüfer (de) Modellprüfung (de) Modellprüfverfahren (de) Verificação de Modelo (pt) Έλεγχος μοντέλου (el) 模型检查 (zh) 模型檢查 (zh)
OpenAlex ID	wds:Q1569697-A16D9072-708B-429F-97AB-C9AC0AD9808B
Quora topic ID	wds:Q1569697-B350B3B2-E427-4D0B-A1A4-07CEA6FD126A
Microsoft Academic ID	wds:Q1569697-9B7C1575-41D0-4BA4-BD5C-DE05C54B26F8
topic's main category	wds:Q1569697-77BCEB09-01CE-4421-A045-645F18732457
Microsoft Academic ID	https://makg.org/entity/110251889
OpenAlex ID	C110251889
Quora topic ID	Model-Checking
Microsoft Academic ID	110251889
topic's main category	Category:Model checking
is field of work of	Gerard J. Holzmann
is field of work of	wds:Q4588721-D9830CFB-EDDB-490A-A456-A11C81427227
is about of	model checking

Faceted Search & Find service v1.16.117 as of May 05 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3239 as of May 5 2024, on Linux (x86_64-centos_6-linux-gnu), Single-Server Edition (378 GB total memory, 190 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software