有限构模器的扩展及其在形式化方法中的应用

• Extensions to a Finite Model Generator and Application to Formal Methods