Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II > An SMT Solver for Regular Expressions and Linear Arithmetic over String Length
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II |
Alexandra Silva; K. Rustan M. Leino
Springer International Publishing
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
An SMT Solver for Regular Expressions and Linear Arithmetic over String Length
Authors

Murphy Berzish; Mitja Kulczynski; Federico Mora; Florin Manea; Joel D. Day; Dirk Nowotka et al.

ARI Id

1665328839870_5947648

Access

Open/Free Access

Pages

289-312

DOI

10.1007/978-3-030-81688-9_14

PDF URL

https://link.springer.com/content/pdf/10.1007/978-3-030-81688-9_14?pdf=chapter%20toc

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-030-81688-9_14

Table of Contents of Book
Showing 1 to 20 of 50 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
i-xxiii
Front Matter
1-1
Learning Probabilistic Termination Proofs
Alessandro Abate; Mirco Giacobbe; Diptarko Roy
3-26
Ghost Signals: Verifying Termination of Busy Waiting
Tobias Reinhard; Bart Jacobs
27-50
Reflections on Termination of Linear Loops
Shaowei Zhu; Zachary Kincaid
51-74
Decision Tree Learning in CEGIS-Based Termination Analysis
Satoshi Kura; Hiroshi Unno; Ichiro Hasuo
75-98
ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures
Lorenz Leutgeb; Georg Moser; Florian Zuleger
99-122
Front Matter
123-123
Theory Exploration Powered by Deductive Synthesis
Eytan Singher; Shachar Itzhaky
125-148
CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver
Xiaomu Shi; Yu-Fu Fu; Jiaxiang Liu; Ming-Hsien Tsai; Bow-Yaw Wang; Bo-Yin Yang
149-171
Porous Invariants
Engel Lefaucheux; Joël Ouaknine; David Purser; James Worrell
172-194
JavaSMT 3: Interacting with SMT Solvers in Java
Daniel Baier; Dirk Beyer; Karlheinz Friedberger
195-208
Efficient SMT-Based Analysis of Failure Propagation
Marco Bozzano; Alessandro Cimatti; Anthony Fernandes Pires; Alberto Griggio; Martin Jonáš; Greg Kimberly
209-230
ddSMT 2. 0: Better Delta Debugging for the SMT-LIBv2 Language and Friends
Gereon Kremer; Aina Niemetz; Mathias Preiner
231-242
Learning Union of Integer Hypercubes with Queries
Oliver Markgraf; Daniel Stan; Anthony W. Lin
243-265
Interpolation and Model Checking for Nonlinear Arithmetic
Dejan Jovanović; Bruno Dutertre
266-288
An SMT Solver for Regular Expressions and Linear Arithmetic over String Length
Murphy Berzish; Mitja Kulczynski; Federico Mora; Florin Manea; Joel D. Day; Dirk Nowotka et al.
289-312
Counting Minimal Unsatisfiable Subsets
Jaroslav Bendík; Kuldeep S. Meel
313-336
Sound Verification Procedures for Temporal Properties of Infinite-State Systems
Quentin Peyras; Jean-Paul Bodeveix; Julien Brunel; David Chemouil
337-360
Front Matter
361-361
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 50 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings