default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID32nd CAV 2020: Los Angeles, CA, USA
- Shuvendu K. Lahiri, Chao Wang:
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II. Lecture Notes in Computer Science 12225, Springer 2020, ISBN 978-3-030-53290-1
Model Checking
- Loris D'Antoni, Martin Helfrich
, Jan Kretínský, Emanuel Ramneantu, Maximilian Weininger:
Automata Tutor v3. 3-14 - Frantisek Blahoudek, Alexandre Duret-Lutz, Jan Strejcek:
Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization. 15-27 - Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens:
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft. 28-39 - Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup:
Realizing ømega-regular Hyperproperties. 40-63 - Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL. 64-76 - Stephen F. Siegel, Yihao Yan:
Action-Based Model Checking: Logic, Automata, and Reduction. 77-100 - Hari Govind Vediramana Krishnan, Yuting Chen, Sharon Shoham, Arie Gurfinkel:
Global Guidance for Local Generalization in Model Checking. 101-125 - Vasileios Klimis, George Parisis, Bernhard Reus:
Towards Model Checking Real-World Software-Defined Networks. 126-148
Software Verification
- Xujie Si, Aaditya Naik, Hanjun Dai, Mayur Naik, Le Song:
Code2Inv: A Deep Learning Framework for Program Verification. 151-164 - Dirk Beyer, Martin Spiessl:
MetaVal: Witness Validation via Verification. 165-177 - Claire Dross, Johannes Kanig:
Recursive Data Structures in SPARK. 178-189 - Kenneth L. McMillan, Oded Padon:
Ivy: A Multi-modal Verification Tool for Distributed Algorithms. 190-202 - James Brotherston, Diana Costa, Aquinas Hobor, John Wickerson:
Reasoning over Permissions Regions in Concurrent Separation Logic. 203-224 - Azalea Raad, Josh Berdine, Hoang-Hai Dang, Derek Dreyer, Peter W. O'Hearn, Jules Villard:
Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic. 225-252
Stochastic Systems
- Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
Maximum Causal Entropy Specification Inference from Demonstrations. 255-278 - Kiran Gopinathan, Ilya Sergey:
Certifying Certainty and Uncertainty in Approximate Membership Query Structures. 279-303 - Hugo Bazille, Blaise Genest, Cyrille Jégourel, Jun Sun:
Global PAC Bounds for Learning Discrete Time Markov Chains. 304-326 - Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan:
Unbounded-Time Safety Verification of Stochastic Differential Dynamics. 327-348 - Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo:
Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games. 349-371 - Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kucera, Philipp J. Meyer:
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling. 372-397 - Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler:
Stochastic Games with Lexicographic Reachability-Safety Objectives. 398-420 - Frantisek Blahoudek, Tomás Brázdil, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu:
Qualitative Controller Synthesis for Consumption Markov Decision Processes. 421-447 - Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan:
STMC: Statistical Model Checker with Stratified and Antithetic Sampling. 448-460 - Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani:
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems. 461-474 - Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. 475-487 - Arnd Hartmanns, Benjamin Lucien Kaminski:
Optimistic Value Iteration. 488-511 - Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer:
PrIC3: Property Directed Reachability for MDPs. 512-538
Synthesis
- Shaull Almagor, Orna Kupferman:
Good-Enough Synthesis. 541-563 - Jacob Van Geffen, Luke Nelson, Isil Dillig, Xi Wang, Emina Torlak:
Synthesizing JIT Compilers for In-Kernel DSLs. 564-586 - Yanju Chen, Chenglong Wang, Osbert Bastani, Isil Dillig, Yu Feng:
Program Synthesis Using Deduction-Guided Reinforcement Learning. 587-610 - Priyanka Golia, Subhajit Roy, Kuldeep S. Meel:
Manthan: A Data-Driven Approach for Boolean Function Synthesis. 611-633 - Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan:
Decidable Synthesis of Programs with Uninterpreted Functions. 634-657 - Bat-Chen Rothenberg, Orna Grumberg:
Must Fault Localization for Program Repair. 658-680
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 2025-12-12 01:23 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:
