モデル検査
1. Model checkingIn computer science, model checking refers to the following problem: Given a model of a system, test automatically whether this model meets a given specification. Typically, the systems one has in mind are hardware or software systems, and 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.
Read “Model checking” on English Wikipedia
Read “モデル検査” on Japanese Wikipedia
Read “Model checking” on DBpedia
Read “Model checking” on English Wikipedia
Read “モデル検査” on Japanese Wikipedia
Read “Model checking” on DBpedia
Discussions
Log in to talk about this word.