本发明公开一种基于信息隐藏的图转换系统模型检测方法，步骤是：将系统分为两层，将可见部分定义为第一层，将内部部分定义为第二层；构建系统的全局类型图，标记出其中的所有节点，并用不同颜色的背景区分为可见部分和内部部分；每个节点都有一个包含了层次结构的可见部分，其描述了与分层结构中当前层次相关的节点的接口；还有一个内部部分，其描述了较低抽象层次中节点的详细结构；定义一组规则来描述系统的行为，用假设‑保证技术验证图转换系统。此种方法利用层次结构和信息隐藏的概念，来减少验证过程中的状态数目，以缓解状态空间爆炸问题；利用假设‑保证技术处理层次结构，解决了之前的验证方法无法验证带层次结构的图转换系统的问题。