Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), Online (initially located in Los Angeles, USA), July 18-19, 2021 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Alexander Nadel, Aina Niemetz, editors, Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), Online (initially located in Los Angeles, USA), July 18-19, 2021. Volume 2908 of CEUR Workshop Proceedings, CEUR-WS.org, 2021. [doi]

Conference: smt2021

Abstract is missing.

Invited Talk: Using SMT and Abstraction-Refinement for Neural Network VerificationGuy Katz. 1 [doi]

Invited Talk: AVR: Word-Level Verification by Equality Abstraction of Data StateKarem A. Sakallah. 2 [doi]

Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of EqualityElisabeth Henkel, Jochen Hoenicke, Tanja Schindler. 3-16 [doi]

First-Order Instantiation using Discriminating TermsChad Brown, Mikolás Janota. 17-22 [doi]

Further Steps Down The Wrong Path: Improving the Bit-Blasting of MultiplicationMartin Brain. 23-31 [doi]

Dolmen: A Validator for SMT-LIB and Much MoreGuillaume Bury. 32-39 [doi]

AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDiffJosé Abel Castellanos Joo, Silvio Ghilardi, Alessandro Gianola, Deepak Kapur. 40-52 [doi]

Characteristic Subsets of SMT-LIB BenchmarksJan Jakubuv, Mikolás Janota, Andrew Reynolds. 53-63 [doi]

Abstract: Reliable Reconstruction of Fine-Grained Proofs in a Proof AssistantHans-Jörg Schurr, Mathias Fleury, Martin Desharnais. 64 [doi]

Abstract: The Extended Theory of Trees and Algebraic (Co)datatypesFabian Zaiser, Luke Ong. 65 [doi]

runs on WebDSL