Model Checking
522
浏览
0
关注

In computer science, model checking aka property checking refers to the following problem: Given a model of a system, exhaustively and automatically check whether this model meets a given specification. Typically, one has hardware or software systems in mind, whereas the specification contains safety requirements such as the absence of deadlocks and similar critical states that can cause the system to Crash (computing)|crash. Model checking is a technique for automatically verifying correctness properties of finite-state systems.In order to solve such a problem algorithmically, both the model of the system and the specification are formulated in some precise mathematical language: To this end, it is formulated as a task in logic, namely to check whether a given structure (mathematical logic)|structure satisfies a given logical formula. The concept is general and applies to all kinds of logics and suitable structures. A simple model-checking problem is verifying whether a given formula...
[展开]
相关概念
Case Study    
State Space    
主要的会议/期刊
演化趋势
Chart will load here
Model Checking文章数量变化趋势

Feedback
Feedback
Feedback
我想反馈:
排行榜