PURPOSE: A method for checking an incremental model is provided to selectively check only a changed part re-using an existing checking result. CONSTITUTION: Nodes satisfying a checking formula for checking a model are displayed on a screen(S220). The nodes are marked in at least one color according to relation between the nodes and adjacent nodes which satisfy the checking formula and outputted on the screen(S230). If relation between at least one node and adjacent nodes is changed, a color marked according to the changed relation is changed on the screen(S240).
展开▼
