本发明公开了一种交互式系统可用性设计的有效性验证方法，包含以下顺序的步骤：建模：首先建立认知模型、任务模型和系统可用性设计模型，以ＩＭＰＡ进程代数统一建立交互式系统的模型；规约：建立交互式系统的可用性规约，可用性包括安全性和可靠性；验证：采用ＩＭＣ模型检验器，进行交互式系统的安全性和可靠性设计有效性验证。本发明的方法，能够预测由闭合人为错误引起的安全缺陷；评估ｐｏｓｔ?ＷＩＭＰ界面的可靠性和认知复杂度，量化比较ＷＩＭＰ界面和ｐｏｓｔ?ＷＩＭＰ界面的效率。　１