state space explosion的意思|示意

美 / / 英 / /

状态空间爆炸

状态空间爆炸尽管状态空间爆炸(state space explosion) 是Spin及其它模型校验器存在的问题,而Confluence能生成一个更抽象的模型,状态及输入较少,Hawkins指出。