InvGen公司 swMATH ID: 9780 软件作者： Ashutosh Gupta；安德烈·里巴尔琴科 描述： InvGen：一个高效的不变量生成器。本文介绍了InvGen，一种用于命令式程序的自动线性算术不变量生成器。InvGen的独特之处在于它使用动态分析，使数量级的不变生成更高效。 主页： http://link.springer.com/chapter/10.1007/978-3-642-02658-4_48 相关软件： z3（零3）；应用程序；匕首；跟踪器；SeaHorn公司；VAMPIRE公司；ASTREE公司；伊塞斯；github；c2i公司；有限责任公司；爆炸；布吉；达夫尼；TPTP公司；林瓦；停机坪；不明飞行物；SageMath公司；蜗牛 引用于： 16文件 全部的 前5名43位作者引用 4 科瓦奇，劳拉·伊尔迪科 三 比肖克桑·卡夫 2 约翰·加拉赫（John P.Gallagher）。 2 格雷姆·恒河 2 丹尼尔·奈德 2 西蒙·罗比拉德 2 彼得·沙赫特 2 哈拉尔德·森德加德 2 彼得·詹姆斯·斯塔基 1 沃尔夫冈·阿伦特 1 亚历克斯·艾肯 1 吉安卢卡·阿马托 1 马雷克查鲁帕 1 亚历山德罗·西马蒂 1 迈克尔·科隆。 1 伊奥·德拉甘 1 方、斌 1 傅洪飞 1 普拉纳夫·加格 1 格雷斯，伯恩哈德 1 阿尔贝托·格里乔 1 沙特古普塔 1 巴拉斯·哈里哈兰 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 Thibaud Hottelier 1 季玉成 1 容伯姆·荣格 1 孔顺浩 1 梁佩西 1 帕塔萨拉西马杜苏丹 1 塞尔吉奥·莫弗 1 阿迪蒂亚·维塔尔·诺里 1 Park，大军 1 毛里齐奥·帕顿 1 安德烈·里巴尔琴科 1 沙姆布瓦迪蒂亚萨哈 1 桑卡拉纳拉亚南，斯里拉姆 1 弗朗西丝卡·斯科扎里 1 拉胡尔·夏尔马 1 斯特雷切克，简 1 斯特凡诺·托内塔 1 王，弯腰 1 Yi，Kwangkeun先生 5篇连载文章中引用 2 逻辑程序设计理论与实践 1 符号计算杂志 1 自动推理杂志 1 系统设计中的形式化方法 1 计算机语言、系统和结构 全部的 前5名在6个字段中引用 15 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 2 运筹学、数学规划（90-XX） 1 凸和离散几何（52至XX） 1 统计学（62-XX） 1 数值分析（65-XX） 按年份列出的引文