先进制造业知识服务平台
国家科技图书文献中心机械分馆　　工信部产业技术基础公共服务平台　　国家中小企业公共服务示范平台

会议文集


文集名Tools and Algorithms for the Construction and Analysis of Systems
会议名27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2021)
中译名《第二十七届国际系统结构与分析的工具及算法会议，卷2》
机构European Association for Theoretical Computer Science (EATCS)
会议日期March 27 - April 1, 2021
会议地点Luxembourg City, Luxembourg
出版年2021
馆藏号338849


题名作者出版年
Directed Reachability for Infinite-State SystemsMichael Blondin; Christoph Haase; Philip Offtermatt2021
Bridging Arrays and ADTs in Recursive ProofsGrigory Fedyukovich; Gidon Ernst2021
A Two-Phase Approach for Conditional Floating-Point VerificationDebasmita Lohar; Clothilde Jeangoudoux; Joshua Sobel; Eva Darulova; Maria Christakis2021
Symbolic Coloured SCC DecompositionNikola Benes; Lubos Brim; Samuel Pastva; David Safranek2021
Local Search with a SAT Oracle for Combinatorial OptimizationAviad Cohen; Alexander Nadel; Vadim Ryvchin2021
Analyzing Infrastructure as Code to Prevent Intra-update Sniping VulnerabilitiesJulien Lepiller; Ruzica Piskac; Martin Schaf; Mark Santolucito2021
Certifying Proofs in the First-Order Theory of RewritingFabian Mitterwallner; Alexander Lochmann; Aart Middeldorp; Bertram Felgenhauer2021
Syntax-Guided Quantifier InstantiationAina Niemetz; Mathias Preiner; Andrew Reynolds; Clark Barrett; Cesare Tinelli2021
Making Theory Reasoning SimplerGiles Reger; Johannes Schoisswohl; Andrei Voronkov2021
Deductive Stability Proofs for Ordinary Differential EquationsYong Kiam Tan; Andre Platzer2021
An SMT-Based Approach for Verifying Binarized Neural NetworksGuy Amir; Haoze Wu; Clark Barrett; Guy Katz2021
cake_lpr: Verified Propagation Redundancy Checking in CakeMLYong Kiam Tan; Marijn J. H. Heule; Magnus O. Myreen2021
Deductive Verification of Floating-Point Java Programs in KeYRosa Abbasi; Jonas Schiffl; Eva Darulova; Mattias Ulbrich; Wolfgang Ahrendt2021
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement TypesYuki Nishida; Hiromasa Saito; Ran Chen; Akira Kawata; Jun Furuse; Kohei Suenaga; Atsushi Igarashi2021
SyReNN: A Tool for Analyzing Deep Neural NetworksMatthew Sotoudeh; Aditya V. Thakur2021
MachSMT: A Machine Learning-based Algorithm Selector for SMT SolversJoseph Scott; Aina Niemetz; Mathias Preiner; Saeed Nejati; Vijay Ganesh2021
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by ExpertsPranav Ashok; Mathias Jackermeier; Jan Kretimsky; Christoph Weinhuber; Maximilian Weininger; Mayank Yadav2021
HLola: a Very Functional Tool for Extensible Stream Runtime VerificationFelipe Gorostiaga; Cesar Sanchez2021
AMulet 2.0 for Verifying Multiplier CircuitsDaniela Kaufmann; Armin Biere2021
RTLola on Board: Testing Real Driving Emissions on your PhoneSebastian Biewer; Bernd Finkbeiner; Holger Hermanns; Maximilian A. Kohl; Yannik Schnitzer; Maximilian Schwenger2021
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024