Extensions to a Finite Model Generator and Application to Formal Methods

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