model checking

word

Meaning

No dictionary definition has been added for "model checking" yet.

Etymology / origin

No prose etymology has been added yet.

No ancestor words have been linked yet.

Related words

formal verification(English)model of computation(English)formal specification(English)pattern matching(English)bounds checking(English)satisfiability modulo theories(English)computability theory(English)coinduction(English)

Descendant words

No descendant words have been linked yet.

Sources

No citations have been attached yet.

model checking — meaning and etymology | WikiWord