Search dblp for Publications

export results for "toc:db/conf/cav/cav2021-2.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cav/AbateGR20,
  author       = {Alessandro Abate and
                  Mirco Giacobbe and
                  Diptarko Roy},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Learning Probabilistic Termination Proofs},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {3--26},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_1},
  doi          = {10.1007/978-3-030-81688-9\_1},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/AbateGR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/AlbertGMMR20,
  author       = {Elvira Albert and
                  Samir Genaim and
                  Enrique Martin{-}Martin and
                  Alicia Merayo and
                  Albert Rubio},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Lower-Bound Synthesis Using Loop Specialization and Max-SMT},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {863--886},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_40},
  doi          = {10.1007/978-3-030-81688-9\_40},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/AlbertGMMR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BaierBF20,
  author       = {Daniel Baier and
                  Dirk Beyer and
                  Karlheinz Friedberger},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {JavaSMT 3: Interacting with {SMT} Solvers in Java},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {195--208},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_9},
  doi          = {10.1007/978-3-030-81688-9\_9},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BaierBF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BatzCKKMS20,
  author       = {Kevin Batz and
                  Mingshuai Chen and
                  Benjamin Lucien Kaminski and
                  Joost{-}Pieter Katoen and
                  Christoph Matheja and
                  Philipp Schr{\"{o}}er},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Latticed k-Induction with an Application to Probabilistic Programs},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {524--549},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_25},
  doi          = {10.1007/978-3-030-81688-9\_25},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BatzCKKMS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BaylessBDJLTJJZ20,
  author       = {Sam Bayless and
                  John D. Backes and
                  Dan DaCosta and
                  Benjamin F. Jones and
                  Nate Launchbury and
                  Patrick Trentin and
                  Kelsey Jewell and
                  Sagar Joshi and
                  Michael Q. Zeng and
                  Nandita Mathews},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Debugging Network Reachability with Blocked Paths},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {851--862},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_39},
  doi          = {10.1007/978-3-030-81688-9\_39},
  timestamp    = {Fri, 20 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BaylessBDJLTJJZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BendikM20a,
  author       = {Jaroslav Bend{\'{\i}}k and
                  Kuldeep S. Meel},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Counting Minimal Unsatisfiable Subsets},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {313--336},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_15},
  doi          = {10.1007/978-3-030-81688-9\_15},
  timestamp    = {Fri, 23 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BendikM20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Berg20,
  author       = {Freark I. van der Berg},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {{LLMC:} Verifying High-Performance Software},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {690--703},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_32},
  doi          = {10.1007/978-3-030-81688-9\_32},
  timestamp    = {Fri, 23 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Berg20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BerzishKMMDNG20,
  author       = {Murphy Berzish and
                  Mitja Kulczynski and
                  Federico Mora and
                  Florin Manea and
                  Joel D. Day and
                  Dirk Nowotka and
                  Vijay Ganesh},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {An {SMT} Solver for Regular Expressions and Linear Arithmetic over
                  String Length},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {289--312},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_14},
  doi          = {10.1007/978-3-030-81688-9\_14},
  timestamp    = {Wed, 06 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/BerzishKMMDNG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BozzanoCPGJK20,
  author       = {Marco Bozzano and
                  Alessandro Cimatti and
                  Anthony Fernandes Pires and
                  Alberto Griggio and
                  Martin Jon{\'{a}}s and
                  Greg Kimberly},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Efficient SMT-Based Analysis of Failure Propagation},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {209--230},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_10},
  doi          = {10.1007/978-3-030-81688-9\_10},
  timestamp    = {Thu, 12 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BozzanoCPGJK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ChakrabortyGU20,
  author       = {Supratik Chakraborty and
                  Ashutosh Gupta and
                  Divyesh Unadkat},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Diffy: Inductive Reasoning of Array Programs Using Difference Invariants},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {911--935},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_42},
  doi          = {10.1007/978-3-030-81688-9\_42},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/ChakrabortyGU20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ChalupaKST20,
  author       = {Marek Chalupa and
                  David Klaska and
                  Jan Strejcek and
                  Luk{\'{a}}s Tomovic},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Fast Computation of Strong Control Dependencies},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {887--910},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_41},
  doi          = {10.1007/978-3-030-81688-9\_41},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ChalupaKST20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ChenLTR20,
  author       = {Xiaohong Chen and
                  Zhengyao Lin and
                  Minh{-}Thai Trinh and
                  Grigore Rosu},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Towards a Trustworthy Semantics-Based Language Framework via Proof
                  Generation},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {477--499},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_23},
  doi          = {10.1007/978-3-030-81688-9\_23},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ChenLTR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ChiariMP20,
  author       = {Michele Chiari and
                  Dino Mandrioli and
                  Matteo Pradella},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Model-Checking Structured Context-Free Languages},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {387--410},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_18},
  doi          = {10.1007/978-3-030-81688-9\_18},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ChiariMP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ConstantinidesD20,
  author       = {George A. Constantinides and
                  Fredrik Dahlqvist and
                  Zvonimir Rakamaric and
                  Rocco Salvia},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {626--650},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_29},
  doi          = {10.1007/978-3-030-81688-9\_29},
  timestamp    = {Fri, 23 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ConstantinidesD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/GnadELH20,
  author       = {Daniel Gnad and
                  Jan Eisenhut and
                  Alberto Lluch{-}Lafuente and
                  J{\"{o}}rg Hoffmann},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Model Checking {\o}mega-Regular Properties with Decoupled Search},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {411--434},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_19},
  doi          = {10.1007/978-3-030-81688-9\_19},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/GnadELH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/HahnPSSTW20,
  author       = {Ernst Moritz Hahn and
                  Mateo Perez and
                  Sven Schewe and
                  Fabio Somenzi and
                  Ashutosh Trivedi and
                  Dominik Wojtczak},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Model-Free Reinforcement Learning for Branching Markov Decision Processes},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {651--673},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_30},
  doi          = {10.1007/978-3-030-81688-9\_30},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/HahnPSSTW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/HalleT20,
  author       = {Sylvain Hall{\'{e}} and
                  Hugo Tremblay},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Foundations of Fine-Grained Explainability},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {500--523},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_24},
  doi          = {10.1007/978-3-030-81688-9\_24},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/HalleT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/HoltzenJVMSB20,
  author       = {Steven Holtzen and
                  Sebastian Junges and
                  Marcell Vazquez{-}Chanlatte and
                  Todd D. Millstein and
                  Sanjit A. Seshia and
                  Guy Van den Broeck},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Model Checking Finite-Horizon Markov Chains with Probabilistic Inference},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {577--601},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_27},
  doi          = {10.1007/978-3-030-81688-9\_27},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/HoltzenJVMSB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/JacobsS20,
  author       = {Swen Jacobs and
                  Mouhammad Sakr},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {{AIGEN:} Random Generation of Symbolic Transition Systems},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {435--446},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_20},
  doi          = {10.1007/978-3-030-81688-9\_20},
  timestamp    = {Fri, 23 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/JacobsS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/JovanovicD20,
  author       = {Dejan Jovanovic and
                  Bruno Dutertre},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Interpolation and Model Checking for Nonlinear Arithmetic},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {266--288},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_13},
  doi          = {10.1007/978-3-030-81688-9\_13},
  timestamp    = {Fri, 23 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/JovanovicD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/JungesJS20,
  author       = {Sebastian Junges and
                  Nils Jansen and
                  Sanjit A. Seshia},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Enforcing Almost-Sure Reachability in POMDPs},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {602--625},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_28},
  doi          = {10.1007/978-3-030-81688-9\_28},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/JungesJS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/JungesTS20,
  author       = {Sebastian Junges and
                  Hazem Torfah and
                  Sanjit A. Seshia},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Runtime Monitors for Markov Decision Processes},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {553--576},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_26},
  doi          = {10.1007/978-3-030-81688-9\_26},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/JungesTS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/KremerNP20,
  author       = {Gereon Kremer and
                  Aina Niemetz and
                  Mathias Preiner},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {231--242},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_11},
  doi          = {10.1007/978-3-030-81688-9\_11},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/KremerNP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/KuraUH20,
  author       = {Satoshi Kura and
                  Hiroshi Unno and
                  Ichiro Hasuo},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Decision Tree Learning in CEGIS-Based Termination Analysis},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {75--98},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_4},
  doi          = {10.1007/978-3-030-81688-9\_4},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/KuraUH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/LeeKHL20,
  author       = {Juneyoung Lee and
                  Dongjoo Kim and
                  Chung{-}Kil Hur and
                  Nuno P. Lopes},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {An {SMT} Encoding of LLVM's Memory Model for Bounded Translation Validation},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {752--776},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_35},
  doi          = {10.1007/978-3-030-81688-9\_35},
  timestamp    = {Fri, 23 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/LeeKHL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/LefaucheuxOPW20,
  author       = {Engel Lefaucheux and
                  Jo{\"{e}}l Ouaknine and
                  David Purser and
                  James Worrell},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Porous Invariants},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {172--194},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_8},
  doi          = {10.1007/978-3-030-81688-9\_8},
  timestamp    = {Thu, 12 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/LefaucheuxOPW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/LeutgebMZ20,
  author       = {Lorenz Leutgeb and
                  Georg Moser and
                  Florian Zuleger},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {{ATLAS:} Automated Amortised Complexity Analysis of Self-adjusting
                  Data Structures},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {99--122},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_5},
  doi          = {10.1007/978-3-030-81688-9\_5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/LeutgebMZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/MaksimovicASG20,
  author       = {Petar Maksimovic and
                  Sacha{-}{\'{E}}lie Ayoun and
                  Jos{\'{e}} Fragoso Santos and
                  Philippa Gardner},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Gillian, Part {II:} Real-World Verification for JavaScript and {C}},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {827--850},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_38},
  doi          = {10.1007/978-3-030-81688-9\_38},
  timestamp    = {Fri, 23 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/MaksimovicASG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/MannILYZBGB20,
  author       = {Makai Mann and
                  Ahmed Irfan and
                  Florian Lonsing and
                  Yahan Yang and
                  Hongce Zhang and
                  Kristopher Brown and
                  Aarti Gupta and
                  Clark W. Barrett},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Pono: {A} Flexible and Extensible SMT-Based Model Checker},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {461--474},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_22},
  doi          = {10.1007/978-3-030-81688-9\_22},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/MannILYZBGB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/MansurMCNW20,
  author       = {Muhammad Numair Mansur and
                  Benjamin Mariano and
                  Maria Christakis and
                  Jorge A. Navas and
                  Valentin W{\"{u}}stholz},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {777--800},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_36},
  doi          = {10.1007/978-3-030-81688-9\_36},
  timestamp    = {Fri, 23 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/MansurMCNW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/MarkgrafSL20,
  author       = {Oliver Markgraf and
                  Daniel Stan and
                  Anthony W. Lin},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Learning Union of Integer Hypercubes with Queries - (with Applications
                  to Monadic Decomposition)},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {243--265},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_12},
  doi          = {10.1007/978-3-030-81688-9\_12},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/MarkgrafSL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/MohanLH20,
  author       = {Anshuman Mohan and
                  Wei Xiang Leow and
                  Aquinas Hobor},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Functional Correctness of {C} Implementations of Dijkstra's, Kruskal's,
                  and Prim's Algorithms},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {801--826},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_37},
  doi          = {10.1007/978-3-030-81688-9\_37},
  timestamp    = {Fri, 23 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/MohanLH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/OsamaW20,
  author       = {Muhammad Osama and
                  Anton Wijs},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {{GPU} Acceleration of Bounded Model Checking with ParaFROST},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {447--460},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_21},
  doi          = {10.1007/978-3-030-81688-9\_21},
  timestamp    = {Tue, 22 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/OsamaW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ParthasarathyMS20,
  author       = {Gaurav Parthasarathy and
                  Peter M{\"{u}}ller and
                  Alexander J. Summers},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Formally Validating a Practical Verification Condition Generator},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {704--727},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_33},
  doi          = {10.1007/978-3-030-81688-9\_33},
  timestamp    = {Fri, 23 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ParthasarathyMS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/PereiraR20,
  author       = {M{\'{a}}rio Pereira and
                  Ant{\'{o}}nio Ravara},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Cameleer: {A} Deductive Verification Tool for OCaml},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {677--689},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_31},
  doi          = {10.1007/978-3-030-81688-9\_31},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/PereiraR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/PeyrasBBC20,
  author       = {Quentin Peyras and
                  Jean{-}Paul Bodeveix and
                  Julien Brunel and
                  David Chemouil},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Sound Verification Procedures for Temporal Properties of Infinite-State
                  Systems},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {337--360},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_16},
  doi          = {10.1007/978-3-030-81688-9\_16},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/PeyrasBBC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ReinhardJ20,
  author       = {Tobias Reinhard and
                  Bart Jacobs},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Ghost Signals: Verifying Termination of Busy Waiting - Verifying Termination
                  of Busy Waiting},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {27--50},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_2},
  doi          = {10.1007/978-3-030-81688-9\_2},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ReinhardJ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ShiFLTWY20,
  author       = {Xiaomu Shi and
                  Yu{-}Fu Fu and
                  Jiaxiang Liu and
                  Ming{-}Hsien Tsai and
                  Bow{-}Yaw Wang and
                  Bo{-}Yin Yang},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {CoqQFBV: {A} Scalable Certified {SMT} Quantifier-Free Bit-Vector Solver},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {149--171},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_7},
  doi          = {10.1007/978-3-030-81688-9\_7},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/ShiFLTWY20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/SingherI20,
  author       = {Eytan Singher and
                  Shachar Itzhaky},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Theory Exploration Powered by Deductive Synthesis},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {125--148},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_6},
  doi          = {10.1007/978-3-030-81688-9\_6},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/SingherI20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/XuWWYL20,
  author       = {Xiangzhe Xu and
                  Jinhua Wu and
                  Yuting Wang and
                  Zhenguo Yin and
                  Pengfei Li},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Automatic Generation and Validation of Instruction Encoders and Decoders},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {728--751},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_34},
  doi          = {10.1007/978-3-030-81688-9\_34},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/XuWWYL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/YuBH20,
  author       = {Emily Yu and
                  Armin Biere and
                  Keijo Heljanko},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Progress in Certifying Hardware Model Checking Results},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {363--386},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_17},
  doi          = {10.1007/978-3-030-81688-9\_17},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/YuBH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ZhuK20,
  author       = {Shaowei Zhu and
                  Zachary Kincaid},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Reflections on Termination of Linear Loops},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {51--74},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_3},
  doi          = {10.1007/978-3-030-81688-9\_3},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ZhuK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cav/2021-2,
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9},
  doi          = {10.1007/978-3-030-81688-9},
  isbn         = {978-3-030-81687-2},
  timestamp    = {Fri, 23 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/2021-2.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.