Model checking
In computer science, model checking or property checking refers to the following problem:Given a model of a system, exhaustively and automatically check whether this model meets a given specification. Typically, one has hardware or software systems in mind, whereas the specification contains safety requirements such as the absence of deadlocks and similar critical states that can cause the system to crash. Model checking is a technique for automatically verifying correctness properties of finite-state systems.
field
Wikipage disambiguates
primaryTopic
Model checking
In computer science, model checking or property checking refers to the following problem:Given a model of a system, exhaustively and automatically check whether this model meets a given specification. Typically, one has hardware or software systems in mind, whereas the specification contains safety requirements such as the absence of deadlocks and similar critical states that can cause the system to crash. Model checking is a technique for automatically verifying correctness properties of finite-state systems.
has abstract
En informatique, la vérificati ...... aujourd'hui[réf. nécessaire].
@fr
Il model checking è un metodo ...... me limitate di sistemi ibridi.
@it
In computer science, model che ...... atisfied by a given structure.
@en
La verificación de modelos (o ...... as ciencias de la computación.
@es
Model Checking (deutsch auch M ...... h einen Beobachtungsautomaten.
@de
No campo da Ciência da Computa ...... sfeita por uma dada estrutura.
@pt
Проверка моделей (проверка на ...... нимать большое число значений.
@ru
モデル検査（Model Checking）とは、形式システム ...... 検証する。仕様は時相論理の論理式の形式で記述することが多い。
@ja
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
744,192,026
comment
En informatique, la vérificati ...... aujourd'hui[réf. nécessaire].
@fr
Il model checking è un metodo ...... tato iniziale s, decidere se .
@it
In computer science, model che ...... rties of finite-state systems.
@en
La verificación de modelos (o ...... estado inicial s; decidir si .
@es
Model Checking (deutsch auch M ...... , ob Modell ist für (formal ).
@de
No campo da Ciência da Computa ...... onamento de pequenos sistemas.
@pt
Проверка моделей (проверка на ...... переходов, — функция разметки.
@ru
モデル検査（Model Checking）とは、形式システム ...... 検証する。仕様は時相論理の論理式の形式で記述することが多い。
@ja
label
Model Checking
@de
Model checking
@en
Model checking
@it
Verificación de modelos
@es
Verificação de modelos
@pt
Vérification de modèles
@fr
Проверка моделей
@ru
モデル検査
@ja