Model checking
In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software systems, where the specification contains liveness requirements (such as avoidance of livelock) as well as safety requirements (such as avoidance of states representing a system crash).
academic discipline
known for
Wikipage disambiguates
Abstract interpretationAbstraction (computer science)Alloy (specification language)Alternating-time temporal logicAmir PnueliAnca MuschollAnd-inverter graphAutomated planning and schedulingAutomated theorem provingBLAST model checkerBMCBehavior treeBelief revisionBigraphBinary decision diagramBoolean satisfiability problemBounded expansionBüchi automatonCPAcheckerCPN-AMICTL*Christel BaierCleanroom software engineeringClock (model checking)Communicating sequential processesComputation tree logicComputer-assisted proofComputer Aided VerificationComputer algebraConcolic testingConcurrency (computer science)Conference on Implementation and Application of AutomataConsistency modelConstraint automatonConstruction and Analysis of Distributed ProcessesCorrectness (computer science)Courcelle's theoremCraig interpolationCulture of GreeceDPLL algorithm
Link from a Wikipage to another Wikipage
field
fields
known for
Model checking
In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software systems, where the specification contains liveness requirements (such as avoidance of livelock) as well as safety requirements (such as avoidance of states representing a system crash).
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
Στο πεδίο της , ο όρος έλεγχος ...... οιείται από μια δεδομένη δομή.
@el
Перевірка моделі або перевірка ...... довільнена заданою структурою.
@uk
Проверка моделей (проверка на ...... нимать большое число значений.
@ru
モデル検査(Model Checking)とは、形式システム ...... 検証する。仕様は時相論理の論理式の形式で記述することが多い。
@ja
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,026,025,113
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
type
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 ...... representing a system crash).
@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 ...... huma delas pode ser concluída.
@pt
Στο πεδίο της , ο όρος έλεγχος ...... ης λειτουργίας του συστήματος.
@el
Перевірка моделі або перевірка ...... і скінченною кількістю станів.
@uk
Проверка моделей (проверка на ...... переходов, — функция разметки.
@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
Έλεγχος μοντέλων
@el
Перевірка моделі
@uk
Проверка моделей
@ru
モデル検査
@ja