関連ワード:  model checking software    model checking software engineering    model checker software    model validation software    model testing software    model checking software testing    bim model checker software    motherboard model check software    software model checking via summary guided search    software model checking for people who love automata