×
德克·拜尔（编辑）;玛丽克·赫斯曼（编辑）

用于构建和分析系统的工具和算法。2018年4月14日至20日在希腊塞萨洛尼基举行的第24届国际会议（TACAS 2018），是欧洲软件理论与实践联合会议（ETAPS 2018）的一部分。诉讼程序。第一部分。 （英语） Zbl 1408.68006号

计算机科学课堂讲稿10805.查姆：施普林格（ISBN 978-3-319-89959-6/pbk；978-3-3169-89960-2/电子书）。xx，429页。（2018）。

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

对数学感兴趣的文章将单独复习。有关上一次会议，请参阅[Zbl 1360.68015号;Zbl 1360.68016号]. 本次会议议事录第二部分见[Zbl 1408.68007号].
索引文章：
里格尔、贾尔斯；马丁·苏达；安德烈·沃伦科夫，在基于饱和的推理中统一抽象和理论实例化，3-22[Zbl 1423.68424号]
詹伯华，使用auto2高效验证命令式程序，23-40[Zbl 1423.68295号]
Le，Quang Loc；孙军；秦胜超，分离逻辑中归纳蕴涵证明的框架推理，41-60[Zbl 1423.68104号]
西蒙·威默（Simon Wimmer）；彼得·兰米奇，时间自动机的验证模型检查，61-78[Zbl 1423.68294号]
Randal E.布莱恩特。，二进制和零抑制决策图的链式约简，81-98[Zbl 1423.68119号]
哈坎·梅廷；苏海卜·巴里尔；科朗格，马克西米利安；Fabrice Kordon公司，CDCLSym:在SAT求解中引入有效的对称破缺，99-114[Zbl 1423.68462号]
克什提吉·班萨尔；埃里克·科斯金（Eric Koskinen）；奥马尔·特里普，自动生成精确且有用的交换条件，115-132[Zbl 1423.68115号]
马克西米利安·哈斯贝克（Maximilian P.L.Haslbeck）。；托比亚斯·尼普科，Hoare逻辑用于时间限制。元理论研究，155-171[兹比尔1423.68098]
亚历山大·萨默斯。；彼得·米勒，自动对弱记忆程序进行演绎验证，190-209[Zbl 1423.68111号]
Shrawan Kumar；三亚、阿弥陀佛；Venkatesh，R。；普尼特·沙阿，使用循环收缩的属性检查数组程序，213-231[Zbl 1423.68102号]
丹尼尔·奈德（Daniel Neider）；普拉纳夫·加格；Madhusudan，P。；Shambwaditya Saha；Park，大军，不完全验证引擎的不变综合，232-250[Zbl 1423.68108号]
Rohit Dureja；克里斯汀·伊冯·罗泽尔，通过发现设计空间相关性进行更具可扩展性的LTL模型检查\（（D^3）\），309-327[Zbl 1423.68279号]
江川；吉安弗兰科·西亚多，为现有CTL生成最小树型证人，328-343[Zbl 1423.68285号]
加布里埃尔·科斯塔；David Basin；博代，恰拉；皮耶保罗·德加诺（Pierpaolo Degano）；盖列塔，莱特里奥，从自然投影到局部模型检查和返回，344-361[Zbl 1423.68275号]
冠军，阿德里安；千叶，富士康；小林，直纪；佐藤隆介，基于ICE的高阶函数程序求精类型发现，365-384[兹比尔1468.68058]
托马斯·布拉兹迪尔；克里希南多·查特吉；Křetínsk \345]，Jan；维克托·托曼，反应合成中决策树的策略表示，385-407[Zbl 1423.68118号]

引用于三评论

MSC公司：

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

引文：

Zbl 1360.68015号;Zbl 1360.68016号;Zbl 1408.68007号
PDF格式BibTeX公司 XML格式引用
\textit{D.Beyer}（编辑）和textit{M.Huisman}（编），系统构建和分析的工具和算法。第24届国际会议，TACAS 2018，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2018，希腊塞萨洛尼基，2018年4月14日至20日。诉讼程序。第一部分查姆：施普林格（2018；Zbl 1408.68006）
全文： 内政部