基于固定內存和狀態管理的模型檢測方法

摘要：在研究固定內存和狀態管理的基礎上，提出了一種新的模型檢測方法，使得在任何計算機上都能對任意規模的并發系統進行模型檢測。