default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21th VMCAI 2020: New Orleans, LA, USA
- Dirk Beyer
, Damien Zufferey:
Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings. Lecture Notes in Computer Science 11990, Springer 2020, ISBN 978-3-030-39321-2 - Kedar S. Namjoshi, Lucas M. Tabajara:
Witnessing Secure Compilation. 1-22 - Pietro Ferrara, Luca Olivieri, Fausto Spoto:
BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results. 23-43 - Sorawee Porncharoenwase, James Bornholt, Emina Torlak:
Fixing Code that Explodes Under Symbolic Evaluation. 44-67 - Nathanaël Courant, Antoine Séré, Natarajan Shankar:
The Correctness of a Code Generator for a Functional Language. 68-89 - Jack J. Garzella, Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric:
Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification. 90-111 - Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham:
Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction. 112-135 - Sven Keidel, Sebastian Erdweg:
A Systematic Approach to Abstract Interpretation of Program Transformations. 136-157 - Marc Chevalier, Jérôme Feret:
Sharing Ghost Variables in a Collection of Abstract Domains. 158-179 - Oren Ish-Shalom, Shachar Itzhaky, Roman Manevich, Noam Rinetzky:
Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation. 180-201 - Hongce Zhang, Weikun Yang, Grigory Fedyukovich, Aarti Gupta, Sharad Malik:
Synthesizing Environment Invariants for Modular Hardware Verification. 202-225 - Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay:
Systematic Classification of Attackers via Bounded Model Checking. 226-247 - Daniel Hausmann, Tadeusz Litak, Christoph Rauch, Matthias Zinner:
Cheap CTL Compassion in NuSMV. 248-269 - Martin Blicha, Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina:
A Cooperative Parallelization Approach for Property-Directed k-Induction. 270-292 - Kohei Suenaga, Takuya Ishizawa:
Generalized Property-Directed Reachability for Hybrid Systems. 293-313 - Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher:
Language Inclusion for Finite Prime Event Structures. 314-336 - Swen Jacobs, Mouhammad Sakr, Martin Zimmermann:
Promptness and Bounded Fairness in Concurrent and Parameterized Systems. 337-359 - Maxwell Levatich, Nikolaj S. Bjørner, Ruzica Piskac, Sharon Shoham:
Solving $\mathrm {LIA} ^\star $ Using Approximations. 360-378 - Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh:
Formalizing and Checking Multilevel Consistency. 379-400 - Wytse Oortwijn, Dilian Gurov, Marieke Huisman:
Practical Abstractions for Automated Verification of Shared-Memory Concurrency. 401-425 - Helmut Seidl, Christian Müller, Bernd Finkbeiner:
How to Win First-Order Safety Games. 426-448 - Ruben Lapauw, Maurice Bruynooghe, Marc Denecker:
Improving Parity Game Solvers with Justifications. 449-470
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-11-22 03:42 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:
