MWB is a model checking tool based on PI-calculus.

• MWB是一个基于PI演算的模型检测工具。