蒸汽锅炉系统的面向对象规范的自动校验

• Automatically verifying an object-oriented specification of the Steam-Boiler system