Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar30th CAV 2018: Oxford, UK
Hana Chockler, Georg Weissenbacher:
Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Lecture Notes in Computer Science 10981, Springer 2018, ISBN 978-3-319-96144-6
Invited Papers
Tutorials
- Ilya Grishchenko, Matteo Maffei, Clara Schneidewind:
Foundations and Tools for the Static Analysis of Ethereum Smart Contracts. 51-78
Model Checking
- Yuki Satake, Hiroshi Unno:
Propositional Dynamic Logic for Higher-Order Functional Programs. 105-123 - Bernd Finkbeiner, Christopher Hahn, Hazem Torfah:
Model Checking Quantitative Hyperproperties. 144-163 - Lauren Pick, Grigory Fedyukovich, Aarti Gupta:
Exploiting Synchrony and Symmetry in Relational Verification. 164-182 - Lucas C. Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtík:
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode. 183-190
Program Analysis Using Polyhedra
- Gagandeep Singh, Markus Püschel, Martin T. Vechev:
Fast Numerical Program Analysis with Reinforcement Learning. 211-229
Synthesis
- S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah:
What's Hard About Boolean Functional Synthesis? 251-269 - Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen:
Counterexample Guided Inductive Synthesis Modulo Theories. 270-288 - Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup:
Synthesizing Reactive Systems from Hyperproperties. 289-306 - Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan:
Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. 347-366 - Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar:
Synthesis of Asynchronous Reactive Programs from Temporal Specifications. 367-385 - Qinheping Hu, Loris D'Antoni:
Syntax-Guided Synthesis with Quantitative Syntactic Objectives. 386-403
Learning
- Xinyu Wang, Greg Anderson, Isil Dillig, Kenneth L. McMillan:
Learning Abstractions for Program Synthesis. 407-426
Runtime Verification, Hybrid and Timed Systems
- Hui Kong, Ezio Bartocci, Thomas A. Henzinger:
Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes. 449-467 - Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan:
Monitoring CTMCs by Multi-clock Timed Automata. 507-526 - Frederik M. Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba:
Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems. 527-546 - Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck:
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. 547-564
Tools
- Jan Kretínský, Tobias Meggendorfer, Salomon Sickert, Christopher Ziegler:
Rabinizer 4: From LTL to Your Favourite Deterministic Automaton. 567-577 - Philipp J. Meyer, Salomon Sickert, Michael Luttenberger:
Strix: Explicit Reactive Synthesis Strikes Back! 578-586 - Aina Niemetz, Mathias Preiner, Clifford Wolf, Armin Biere:
Btor2 , BtorMC and Boolector 3.0. 587-595 - Michael Blondin, Javier Esparza, Stefan Jaax:
Peregrine: A Tool for the Analysis of Population Protocols. 604-611 - Milan Ceska Jr., Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar:
ADAC: Automated Design of Approximate Circuits. 612-620
Probabilistic Systems
- Edon Kelmendi, Julia Krämer, Jan Kretínský, Maximilian Weininger:
Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm. 623-642 - Qiyi Tang, Franck van Breugel:
Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains. 681-699
maintained by 
at 
at 
last updated on 2018-12-09 22:45 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint