Tag:Model-checking

From Wikipedia, the free encyclopedia

Jump to: navigation, search

Related Tags

Articles

Model checking (3)
model checking wikipedia modelchecking programming model-checking systems testing methods verification logic computerscience formal software-patterns tdd to-do z software-design testmethod model_check "model checking" mc906 metodosformais model_checking

Retrieved from "http://en.wikipedia.org/wiki/Tag:Model-checking"

Views

Personal tools

NOTE: This is just a prototype of tag-based navigation on Wikipedia. Visit Wikipedia for the online encyclopedia.Log in / create account

Search

Toolbox