杨国武;杨，金;宋晓宇;谢，费 GSTE中断言图的最大模型。 （英语） Zbl 1178.68351号 蔡金毅（主编）等，计算模型的理论与应用。第三届国际会议，TAMC 2006，中国北京，2006年5月15日至20日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-34021-1/pbk）。计算机科学课堂讲稿3959684-693（2006）。 摘要：广义符号弹道评估（GSTE）是符号弹道评估的扩展。在GSTE中，断言图用于以一种特殊形式的正则自动机指定属性，该自动机具有先行项对和后继项对。针对具有重要属性的断言图，提出了一种新的模型表征方法，称为极大模型。除了它们自身的理论意义外，还使用极大模型来表示GSTE中两个断言图的含义。我们证明，与一般的信念相反，断言图可能有多个最大模型。我们提出了一个求线性断言图的所有极大模型的可证明算法。我们设计了一个算法来寻找任意断言图的最大模型。关于整个系列，请参见[Zbl 1102.68004号]. MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） PDF格式BibTeX公司 XML格式引用 \textit｛G.Yang｝等人，Lect。注释计算。科学。3959、684--693（2006年；Zbl 1178.68351） 全文： 内政部