×
拜尔，克里斯特尔（编辑）;塞萨尔·蒂内利（编辑）

用于构建和分析系统的工具和算法。第21届国际会议，TACAS 2015，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11日至18日。诉讼程序。 （英语） Zbl 1360.68006号

计算机科学课堂讲稿9035.柏林：施普林格出版社（ISBN 978-3-662-46680-3/pbk；978-3-562-46681-0/电子书）。十八、725页。（2015年）。

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

对数学感兴趣的文章将单独复习。有关上一次会议，请参阅[Zbl 1301.68010号].
索引文章：
Shrawan Kumar；三亚、阿弥陀佛；Khedker，Uday P。，值切片：用于可扩展属性检查的新切片概念，101-115[Zbl 1420.68069号]
Unno，Hiroshi；大雄县Terauchi，通过抽样推断无递归Horn子句的简单解，149-163[兹比尔1420.68077]
尼古拉·巴塞特（Nicolas Basset）；玛尔塔·奎亚特科夫斯卡；乌富克托普库；克莱门斯·威尔奇，具有多个长期目标的随机博弈的策略综合，256-271[Zbl 1420.91011号]
德米特里·奇斯蒂科夫；雷纳·迪米特洛娃；鲁帕克·马朱姆达尔，SMT中的近似计数和概率程序的值估计，320-334[Zbl 1420.68194号]
塞巴斯蒂亚尼，R。；特伦丁，P。，用线性算术代价函数推导出优化模理论的包络，335-349[Zbl 1420.68197号]
阿卜杜拉，帕罗什·阿齐兹；阿罗尼斯·斯塔夫罗斯；穆罕默德·法乌齐（Mohamed Faouzi Atig）；Jonsson，Bengt；Carl Leonardsson；康斯坦蒂诺斯·萨戈纳斯，TSO和PSO的无状态模型检查，353-367[Zbl 1420.68115号]
库克，拜伦；赫拉夫、海蒂；尼尔·皮特曼，无限状态系统的公平性，384-398[Zbl 1420.68122号]
米尔科·贾科布；盖特，柯林·C。；阿舒托什·古普塔；托马斯·亨辛格（Thomas A.Henzinger）。；蒂亚戈佩克索；塔贾纳·彼得罗夫，模型检查基因调控网络，469-483[Zbl 1420.92041号]
奥坎·桑库尔，时间自动机的符号定量稳健性分析，484-498[Zbl 1420.68111号]
拉吉耶夫，阿卢尔；萨拉尔·莫拉里夫；乌富克托普库，基于模式的反应合成中假设保证规范的细化，501-516[Zbl 1420.68116号]
布洛克，罗德里克；克里希南多·查特吉；瑞典雅各布斯；罗伯特·Könighfer，部分信息并发反应式程序的假设保证综合，517-532[Zbl 1420.68064号]
罗德里克·布隆姆（Roderick Bloem）；贝蒂娜·科尼霍费尔；罗伯特·Könighfer；王超，屏蔽合成：反应系统的运行时强制，533-548[Zbl 1420.68119号]
克莱尔·西尼；阿德里安·弗兰卡兰扎，用于运行时验证的LTL证明系统，581-595[Zbl 1420.68121号]
雷诺，艾蒂安；亚历山大·杜雷特·卢茨（Alexandre Duret-Lutz）；Fabrice Kordon；丹尼斯·波特雷诺，广义Büchi自动机的并行显式模型检查，613-627[Zbl 1420.68137号]
基尼，迪利普；马赫什·维斯瓦纳坦，（\mathrm{LTL}\backslash GU\）的极限确定性和概率自动机，628-642[Zbl 1420.68132号]
文斯·莫尔纳；达尼尔·达瓦斯（Dániel Darvas）；Vörös，András；塔马斯·巴塔，基于饱和的增量LTL模型检查，带归纳证明，643-657[Zbl 1420.68135号]
费多·托马什；霍利克，卢卡什；安大略省Lengál；托马斯·沃伊纳尔，WS1S嵌套反链，658-674[Zbl 1420.68186号]

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

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
68季度xx 计算理论
00时25分 杂项特定利益的会议记录

引文：

Zbl 1301.68010号
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}（编辑）和\textit{C.Tinelli}（编），系统构建和分析的工具和算法。第21届国际会议，TACAS 2015，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11-18日。诉讼程序。柏林：施普林格出版社（2015；Zbl 1360.68006）
全文： DOI程序