×
帕罗什·阿齐兹·阿卜杜拉（编辑）;Leino，K.Rustan M。（编辑）

用于构建和分析系统的工具和算法。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。 （英语） 兹比尔1213.68016

计算机科学课堂讲稿6605.柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。十六、394页。(2011).

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。有关上一次会议，请参阅Zbl 1185.68007号.
索引文章：
安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科，程序终止的转移不变量和转移谓词抽象，3-10[Zbl 1315.68104号]
Jabob Burnim；Sen，Koushik；克里斯托斯·斯特吉奥，对放松记忆模型的顺序一致性进行健全完整的监控，11-25[Zbl 1315.68084号]
普拉纳夫·加格；马杜苏丹，P。，组成性需要序列化，26-40[兹比尔1315.68091]
Sylvain Conchon；伊芙琳·孔特让；穆罕默德·伊格尔内拉拉，肖斯塔克理论的经典重写和地面AC完成模，45-59[Zbl 1315.68219号]
迭戈·加伯维茨基（Diego Garbervetsky）；丹尼尔·戈林；阿里尔·内森，使用动态框架强制结构不变量，65-80[Zbl 1315.68090号]
阿里亚克赛·齐托维奇；莎里吉娜，娜塔莎；Christoph M.Wintersteiger。；丹尼尔·克罗宁，回路总结和终止分析，81-95[兹比尔1315.68106]
Nathalie Bertrand；蒂埃里·杰伦；阿梅利·施泰纳（Amélie Stainer）；莫伊斯·克里钦，用于非确定性时间自动机测试目的的离线测试选择，96-111[Zbl 1315.68082号]
Forejt，Vojtěch；公司；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；戴维·帕克；曲洪阳，概率系统的定量多目标验证，112-127[Zbl 1315.68177号]
巴伯，贝诺；陈、陶璐；韩婷婷；Joost-Pieter Katoen；亚历山大·梅雷克莱，线性实时目标的高效CTMC模型检查，128-142[兹比尔1315.68174]
阿尔贝托·格里乔；Le，Thi Thieu Hoa；罗伯托·塞巴斯蒂亚尼，可满足模线性整数算法中的高效插值生成，143-157[Zbl 1315.68179号]
蒂诺·特伊格；马丁·范策尔，随机布尔可满足性问题的广义Craig插值，158-172[Zbl 1315.68183号]
Divya Gopinath；穆罕默德·祖拜尔·马利克；萨尔夫拉兹·库希德，使用SAT基于规范的程序修复，173-188[Zbl 1315.68092号]
科迪什，迈克尔；尤夫·费科特（Yoav Fekete）；福斯，卡斯滕；彼得·施奈德·坎普，伪布尔约束的最佳基编码，189-204[Zbl 1315.68227号]
Jung，Yungbum；Lee，Wonchan；王，弯腰；Yi，Kwangkuen先生，基于学习的无量词循环不变量推理谓词生成，205-219[Zbl 1315.68097号]
哈罗·威梅尔；卡斯滕·沃尔夫，将CEGAR应用于Petri网状态方程，224-238[Zbl 1316.68079号]
安普雷迪（Annpureddy），亚什旺斯（Yashwanth）；刘，车；费内科斯（Fainekos，Georgios）；桑卡拉纳拉亚南，斯里拉姆，S-TaLiRo:混合系统时序逻辑证伪工具，254-257[Zbl 1316.68069号]
Tsay，Yih-Kuen；蔡明勋；Chang，Jinn-Shu；张一文，比奇商店：比奇自动机的开放存储库，262-266[Zbl 1316.68078号]
克里希南德·查特吉；托马斯·亨辛格。；巴巴拉·乔布斯曼（Barbara Jobstmann）；罗希特·辛格，QUASY：定量合成工具，267-271[Zbl 1316.68071号]
吕迪格·埃勒斯，Unbeat:符号有界合成，272-275[Zbl 1316.68073号]
塞巴斯蒂安·库普弗施米德；马丁·韦尔《抽象和模式数据库：追求简洁和准确》，276-290[Zbl 1316.68076号]
哈什·拉朱·查马西；彼得·迪林杰（Peter Dillinger）；Manolios、Panagiotis；达隆·弗隆，ACL2 Sedan定理证明系统，291-295[Zbl 1316.68132号]
斯特凡·基弗（Stefan Kiefer）；多米尼克·沃伊特扎克，关于具有进程创建和同步的概率并行程序，296-310[Zbl 1316.68037号]
马克·蒂默（Mark Timmer）；玛丽·斯托琳加；范德波尔（Jaco van de Pol），概率系统的汇流减少，311-325[Zbl 1316.68077号]
埃齐奥·巴托西；格鲁苏，拉杜；Katsaros、Panagiotis；罗马克里希南，C.R。；斯科特·斯莫尔卡。，概率系统的模型修复，326-340[Zbl 1316.68070号]
亚历山德罗·西马蒂；伊曼·纳拉萨姆迪亚；马可·罗维里，通过部分降阶提升SystemC的惰性抽象，341-356[Zbl 1316.68072号]
休伯特·加拉维；弗雷德里克·朗；拉杜，马泰埃斯库；温德林·塞维，CADP 2010:分布式过程构建和分析的工具箱，372-387[Zbl 1316.68074号]

引用于1审查
引用于2文件

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
第68季度第60季度 规范和验证（程序逻辑、模型检查等）
00B25型 杂项特定利益的会议记录

引文：

Zbl 1185.68007号

软件：

ACL2型
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}（编辑）和textit{K.R.M.Leino}（主编），系统构建和分析的工具和算法。2011年3月26日至4月3日，在德国萨尔布吕肯举行的第17届国际会议，即2011年TACAS，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（2011；Zbl 1213.68016）
全文： 内政部