代表，托马斯;穆利·萨吉夫;格雷塔·约什 最佳变压器的符号实现。 （英语） Zbl 1202.68255号 Steffen，Bernhard（编辑）等人，《验证、模型检查和抽象解释》。第五届国际会议，VMCAI 2004，意大利威尼斯，2004年1月11-13日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20803-8/pbk）。莱克特。注释计算。科学。第2937252-266页（2004年）。 摘要：本文展示了如何在特定条件下实现抽象解释算法，使其在给定抽象中尽可能获得最佳精度。其关键思想是一个简单的逐次逼近过程，它对决策过程进行反复调用，并使用逻辑公式获得一组用符号表示的具体存储的最佳抽象值。有关整个系列，请参见[Zbl 1031.68005号]。 引用于14文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68号30 软件工程的数学方面（规范、验证、度量、需求等） 软件：SLAM公司;MONA公司 PDF格式BibTeX公司 XML格式引用 \textit{T.Reps}等人，Lect。注释计算。科学。2937252--266（2004年；Zbl 1202.68255） 全文： 内政部