会议文集


文集名Computer Aided Verification
会议名33rd International Conference on Computer Aided Verification (CAV 2021)
中译名《第三十三届国际计算机辅助认证会议，卷2》
会议日期July 20-23, 2021
会议地点Online
出版年2021
馆藏号340047


题名作者出版年
Learning Probabilistic Termination ProofsAlessandro Abate; Mirco Giacobbe; Diptarko Roy2021
Ghost Signals: Verifying Termination of Busy WaitingTobias Reinhard; Bart Jacobs2021
Reflections on Termination of Linear LoopsShaowei Zhu; Zachary Kincaid2021
Decision Tree Learning in CEGIS-Based Termination AnalysisSatoshi Kura; Hiroshi Unno; Ichiro Hasuo2021
ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data StructuresLorenz Leutgeb; Georg Moser; Florian Zuleger2021
Theory Exploration Powered by Deductive SynthesisEytan Singher; Shachar Itzhaky2021
CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector SolverXiaomu Shi; Yu-Fu Fu; Jiaxiang Liu; Ming-Hsien Tsai; Bow-Yaw Wang; Bo-Yin Yang2021
Porous InvariantsEngel Lefaucheux; Joel Ouaknine; David Purser; James Worrell2021
JavaSMT 3: Interacting with SMT Solvers in JavaDaniel Baier; Dirk Beyer; Karlheinz Friedberger2021
Efficient SMT-Based Analysis of Failure PropagationMarco Bozzano; Alessandro Cimatti; Anthony Fernandes Pires; Alberto Griggio; Martin Jonas; Greg Kimberly2021
ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and FriendsGereon Kremer; Aina Niemetz; Mathias Preiner2021
Learning Union of Integer Hypercubes with Queries (with Applications to Monadic Decomposition)Oliver Markgraf; Daniel Stan; Anthony W. Lin2021
Interpolation and Model Checking for Nonlinear ArithmeticDejan Jovanovic; Bruno Dutertre2021
An SMT Solver for Regular Expressions and Linear Arithmetic over String LengthMurphy Berzish; Mitja Kulczynski; Federico Mora; Florin Manea; Joel D. Day; Dirk Nowotka; Vijay Ganesh2021
Counting Minimal Unsatisfiable SubsetsJaroslav Bendik; Kuldeep S. Meel2021
Sound Verification Procedures for Temporal Properties of Infinite-State SystemsQuentin Peyras; Jean-Paul Bodeveix; Julien Brunel; David Chemouil2021
Progress in Certifying Hardware Model Checking ResultsEmily Yu; Armin Biere; Keijo Heljanko2021
Model-Checking Structured Context-Free LanguagesMichele Chiari; Dino Mandrioli; Matteo Pradella2021
Model Checking ω-Regular Properties with Decoupled SearchDaniel Gnad; Jan Eisenhut; Alberto Lluch Lafuente; Jorg Hoffmann2021
AIGEN: Random Generation of Symbolic Transition SystemsSwen Jacobs; Mouhammad Sakr2021
123



制造业外文文献服务平台