×

找到32个文档(结果1-32)

通过增量线性化优化模非线性算法。 (英语) Zbl 07497924号

Konev,Boris(编辑)等人,《组合系统的前沿》。第13届国际研讨会,FroCoS 2021,英国伯明翰,2021年9月8日至10日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12941213-231(2021年)。
MSC公司:68泰克
PDF格式BibTeX公司 XML格式引用
全文: 内政部

增量线性化求解非线性整数算法的实验。 (英语) Zbl 1511.68244号

Beyersdorff,Olaf(编辑)等人,《可满足性测试的理论和应用——2018年SAT》。2018年7月9日至12日在英国牛津举行的2018年第21届国际会议(SAT 2018),作为联邦逻辑会议的一部分。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10929, 383-398 (2018).
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过使用EUF对LRA进行增量缩减,对NRA过渡系统进行不变量检查。 (英语) Zbl 1452.68116号

Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。10205, 58-75 (2017).
PDF格式BibTeX公司 XML格式引用

通过增量线性化实现模超越函数的可满足性。 (英语) Zbl 1494.68281号

de Moura,Leonardo(编辑),自动扣除-CADE 26。2017年8月6日至11日在瑞典哥德堡举行的第26届自动扣减国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10395, 95-113 (2017).
MSC公司:68伏15 68T20型
PDF格式BibTeX公司 XML格式引用

无限状态BIP模型的形式化验证。 (英语) Zbl 1471.68130号

Finkbeiner,Bernd(编辑)等人,《验证和分析自动化技术》。第十三届国际研讨会,2015年10月12日至15日,中国上海,ATVA。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9364, 326-343 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

通过部分降阶提升SystemC的惰性抽象。 (英语) Zbl 1316.68072号

Abdulla,Parosh Aziz(编辑)等人,《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议(TACAS 2011),是欧洲软件理论与实践联合会议(ETAPS 2011)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-19834-2/pbk)。计算机科学讲座笔记6605341-356(2011)。
MSC公司:60年第68季度 68-04
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从顺序扩展正则表达式到带有符号标签的NFA。 (英语) Zbl 1297.68116号

Domaratzki,Michael(编辑)等人,自动机的实现和应用。2010年8月12日至15日,加拿大温尼伯CIAA 2010第15届国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-18097-2/pbk)。计算机科学课堂讲稿648287-94(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

混合系统的需求验证。 (英语) 兹比尔1242.68156

Bouajjani,Ahmed(编辑)等人,《计算机辅助验证》。2009年6月26日至7月2日在法国格勒诺布尔举行的第21届CAV 2009国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02657-7/pbk)。计算机科学讲座笔记5643188-203(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可实现性的诊断信息。 (英语) Zbl 1138.68442号

Logozzo,Francesco(编辑)等人,《验证、模型检查和抽象解释》。2008年1月7日至9日,第九届国际会议,VMCAI 2008,美国旧金山。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78162-2/pbk)。计算机科学课堂讲稿4905,52-67(2008)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时态逻辑可满足性的布尔抽象。 (英语) Zbl 1135.68469号

Damm,Werner(编辑)等人,《计算机辅助验证》。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73367-6/pbk)。《计算机科学讲义》4590,532-546(2007)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

交替自动机的符号实现。 (英语) 兹比尔1160.68401

Ibarra,Oscar H.(编辑)等人,《自动机的实现和应用》。2006年8月21日至23日,第11届国际会议,CIAA 2006,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37213-4/pbk)。计算机科学课堂讲稿4094208-218(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

过去LTL的有限验证。 (英语) Zbl 1117.68424号

Hu,Alan J.(编辑)等,《计算机辅助设计中的形式化方法》。2004年11月15日至17日,第五届国际会议,FMCAD 2004,美国得克萨斯州奥斯汀。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23738-0/pbk)。计算机科学课堂讲稿3312,245-259(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

集成了基于BDD和基于SAT的符号模型检查。 (英语) Zbl 1057.68623号

亚历山德罗·阿曼多(编辑),《组合系统的前沿》。2002年4月8日至10日,第四次国际研讨会,FroCos 2002,意大利利古雷圣玛格丽塔。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43381-3)。莱克特。注释计算。科学。2309, 49-56 (2002).
MSC公司:60年第68季度 第68页第15页 68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 链接

改进LTL模型校验到SAT的编码。 (英语) Zbl 1057.68056号

Cortesi,Agostino(编辑),《验证、模型检查和抽象解释》。第三届国际研讨会,VMCAI 2002,意大利威尼斯,2002年1月21日至22日。修订论文。柏林:施普林格出版社(ISBN 3-540-43631-6)。莱克特。注释计算。科学。2294, 196-207 (2002).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

NuSMV 2:用于符号模型检查的OpenSource工具。 (英语) Zbl 1010.68766号

Brinksma,Ed(编辑)等人,《计算机辅助验证》。2002年7月27日至31日,丹麦哥本哈根,第14届国际会议,CAV 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2404, 359-364 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

通过结合显式状态和符号模型检查来搜索功率集自动机。 (英语) Zbl 0978.68546号

Margaria,Tiziana(编辑)等,系统构建和分析的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001,是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2031131-327(2001)中描述。
PDF格式BibTeX公司 XML格式引用
全文: 链接

NuSMV:一种新的符号模型验证器。 (英语) Zbl 1046.68587号

Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 495-499 (1999).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份