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

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