default search action
31st CAV 2019: New York City, NY, USA
- Isil Dillig, Serdar Tasiran:
Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II. Lecture Notes in Computer Science 11562, Springer 2019, ISBN 978-3-030-25542-8
Logics, Decision Procedures, and Solvers
- Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier:
Satisfiability Checking for Mission-Time LTL. 3-22 - Andrew Reynolds
, Andres Nötzli
High-Level Abstractions for Simplifying Extended String Constraints in SMT. 23-42 - Radu Iosif, Xiao Xu:
Alternating Automata Modulo First Order Theories. 43-63 - Martin Jonás
Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors. 64-73 - Andrew Reynolds, Haniel Barbosa
cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis. 74-83 - Markus N. Rabe:
Incremental Determinization for Quantifier Elimination and Functional Synthesis. 84-94
Numerical Programs
- Jake Silverman, Zachary Kincaid:
Loop Summarization with Rational Vector Addition Systems. 97-115 - Martin Brain
Invertibility Conditions for Floating-Point Formulas. 116-136 - Sicun Gao, James Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Aréchiga, Soonho Kong:
Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems. 137-154 - Heiko Becker, Eva Darulova
Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler. 155-173 - Eva Darulova
Sound Approximation of Programs with Elementary Functions. 174-183
Verification
- Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying
Formal Verification of Quantum Algorithms Using Quantum Hoare Logic. 187-207 - Gidon Ernst
SecCSL: Security Concurrent Separation Logic. 208-230 - John Backes, Sam Bayless, Byron Cook, Catherine Dodge, Andrew Gacek, Alan J. Hu, Temesghen Kahsai, Bill Kocik, Evgenii Kotelnikov, Jure Kukovec, Sean McLaughlin, Jason Reed, Neha Rungta, John Sizemore, Mark A. Stalzer, Preethi Srinivasan, Pavle Subotic, Carsten Varming, Blake Whaley:
Reachability Analysis for AWS-Based Networks. 231-241
Distributed Systems and Networks
- Idan Berkovits, Marijana Lazic, Giuliano Losa, Oded Padon, Sharon Shoham:
Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics. 245-266 - Rachid Zennou
Gradual Consistency Checking. 267-285 - Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea:
Checking Robustness Against Snapshot Isolation. 286-304 - Nick Giannarakis, Ryan Beckett, Ratul Mahajan, David Walker:
Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement. 305-323 - Ranadeep Biswas, Michael Emmi, Constantin Enea:
On the Complexity of Checking Consistency for Replicated Data Types. 324-343 - Andrei Damian, Cezara Dragoi, Alexandru Militaru, Josef Widder:
Communication-Closed Asynchronous Protocols. 344-363
Verification and Invariants
- Hari Govind Vediramana Krishnan
Interpolating Strong Induction. 367-385 - Peizun Liu, Thomas Wahl, Akash Lal:
Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers. 386-404 - Yotam M. Y. Feldman
Inferring Inductive Invariants from Phase Structures. 405-425 - Florian Frohn
Termination of Triangular Integer Loops is Decidable. 426-444 - Juneyoung Lee, Chung-Kil Hur, Nuno P. Lopes
AliveInLean: A Verified LLVM Peephole Optimization Verifier. 445-455
Concurrency
- Kartik Nagar, Suresh Jagannathan:
Automated Parameterized Verification of CRDTs. 459-477 - Stephen F. Siegel
What's Wrong with On-the-Fly Partial Order Reduction. 478-495 - Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao
Integrating Formal Schedulability Analysis into a Verified OS Kernel. 496-514 - Yongwang Zhao, David Sanán
Rely-Guarantee Reasoning About Concurrent Memory Management in Zephyr RTOS. 515-533 - Michael Emmi, Constantin Enea:
Violat: Generating Tests of Observational Refinement for Concurrent Objects. 534-546
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-20 21:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: