×

内部控制系统

swMATH ID: 21618
软件作者： Jean-Christophe Filliátre；Owre，Sam；哈拉尔德街；Natarajan Shankar
描述： ICS已弃用，不再受支持（自2006年8月起）。请改用Yices；Yices速度快得多，处理更多理论，还有其他几个优点。ICS：集成标准化器和求解器。ICS（Integrated Canonizer and Solver）是一种有效的一阶逻辑片段的决策过程。术语是由未解释的函数符号和操作符组成的，它们来自数据类型的丰富组合，包括算术、函数数组、元组、余元组和固定大小的位向量。它集成了最先进的SAT求解器。ICS可以用作交互式读取公式的独立应用程序，也可以作为库包含在任何需要嵌入式演绎的应用程序中。
主页： http://ics.csl.sri.com/
相关软件： CVC精简版；CVC公司；糠；简化；PVS公司；超小卫星；SMT-LIB公司；SATO公司；萨帕托；数学SAT；克洛诺斯；Uppaal公司；PicoSAT卫星；皇家卫星；z3（零3）；SATIRE（饱和）；转向器；NQTHM公司；SLAM公司；电子稳定控制系统/Java
引用于： 19文件

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
ICS：集成标准化器和求解器。 兹比尔0996.68559
Jean-Christophe Filliátre；萨姆·奥雷；哈拉尔德街；Natarajan Shankar
2001
全部的 前5名

53位作者引用

4 斯特里赫曼（Ofer Strichman）
三 罗伯特·布鲁托梅索
三 亚历山德罗·西马蒂
三 丹尼尔·科宁
三 罗伯托·塞巴斯蒂亚尼
2 克拉克·W·巴雷特。
2 马可·波扎诺
2 莱昂纳多·德·莫拉
2 汤米·A·琼蒂拉。
2 彼得·范·罗苏姆
1 巴哈雷赫巴德班
1 珍妮特·巴恩斯
1 David A.Basin。
1 尼古拉·S·比约纳。
1 查普曼，罗德里克
1 安德鲁·库克。
1 大卫·J·柯里。
1 比尔·J·埃利斯。
1 方，易
1 冯秀珊
1 Jean-Christophe Filliátre
1 安德斯·弗朗森
1 Masahiro Fujita
1 本杰明·戈德伯格
1 阿尔贝托·格里乔
1 胡亚伦·J·。
1 胡，英
1 爱尔兰，安德鲁
1 萨瓦斯·科努尔
1 希勒，库格勒
1 Hironobu Kuruma
1 马克·关
1 宫崎骏
1 马丹拉尔·穆苏瓦蒂
1 萨姆·奥雷
1 阿米尔·普努利
1 Sreeranga P.拉詹。
1 西尔维奥·兰伊斯
1 约夫·罗德
1 哈拉尔德街
1 弗拉德·鲁苏
1 斯蒂芬·舒尔茨
1 Natarajan Shankar
1 玛丽亚·索里亚
1 阿伦·斯塔姆
1 Kazuo Takaragi
1 奥尔加·特维雷蒂纳
1 范德波尔，扬·科内利斯
1 沃尔夫，伯克哈特
1 格雷塔·约什
1 汉斯·赞特马
1 埃琳娜·齐诺维耶娃
1 Lenore D.扎克。
全部的 前5名

8篇连载文章中引用

三 信息与计算
三 自动推理杂志
2 计算的形式方面
2 系统设计中的形式化方法
1 国际并行程序设计杂志
1 数学与人工智能年鉴
1 计算机科学前沿
1 理论计算机科学课文。EATCS系列

在5个字段中引用

19 计算机科学（68至XX）
7 数学逻辑和基础（03-XX）
1 总体主题；集合（00-XX）
1 场论和多项式（12-XX）
1 范畴理论；同调代数（18-XX）

按年份列出的引文