model checking

M m

Transcription

- US Pronunciation
- US IPA

- US Pronunciation
- US IPA

Definition of model checking words

noun Technical meaning of model checking (theory, algorithm, testing) To algorithmically check whether a program (the model) satisfies a specification. The model is usually expressed as a directed graph consisting of nodes (or vertices) and edges. A set of atomic propositions is associated with each node. The nodes represents states of a program, the edges represent possible executions which alters the state, while the atomic propositions represent the basic properties that hold at a point of execution. A specification language, usually some kind of temporal logic, is used to express properties. The problem can be expressed mathematically as: given a temporal logic formula p and a model M with initial state s, decide if M,s \models p. 1

Just one definition for model checking

Information block about the term

Parts of speech for Model checking

noun

adjective

verb

adverb

pronoun

preposition

conjunction

determiner

exclamation

Full grammatical hierarchy of Model checking

See also

All definitions of model checking

Matching words

Was this page helpful?

Yes No

Thank you for your feedback! Tell your friends about this page

Tell us why?