default search action

combined dblp search
author search
venue search
publication search

ask others

26th CADE 2017: Gothenburg, Sweden

> Home > Conferences and Workshops > CADE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/cade/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/2017
Leonardo de Moura:
Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings. Lecture Notes in Computer Science 10395, Springer 2017, ISBN 978-3-319-63045-8
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Andronick17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Andronick17
June Andronick:
Reasoning About Concurrency in High-Assurance, High-Performance Software Systems. 1-7
- view
  authority control:
- export record
  dblp key:
  - conf/cade/SantosGMN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/SantosGMN17
José Fragoso Santos, Philippa Gardner, Petar Maksimovic, Daiva Naudziuniene:
Towards Logic-Based Verification of JavaScript Programs. 8-25
- view
  authority control:
- export record
  dblp key:
  - conf/cade/PassmoreI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/PassmoreI17
Grant Olney Passmore, Denis Ignatovich:
Formal Verification of Financial Algorithms. 26-41
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BonacinaGS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BonacinaGS17
Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar:
Satisfiability Modulo Theories and Assignments. 42-59
- view
  authority control:
- export record
  dblp key:
  - conf/cade/ErbaturMR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ErbaturMR17
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen:
Notions of Knowledge in Combinations of Theories Sharing Constructors. 60-76
- view
  authority control:
- export record
  dblp key:
  - conf/cade/HorbachVW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HorbachVW17
Matthias Horbach, Marco Voigt, Christoph Weidenbach:
On the Combination of the Bernays-Schönfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic. 77-94
- view
  authority control:
- export record
  dblp key:
  - conf/cade/CimattiGIRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/CimattiGIRS17
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Satisfiability Modulo Transcendental Functions via Incremental Linearization. 95-113
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Cruanes17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Cruanes17
Simon Cruanes:
Satisfiability Modulo Bounded Checking. 114-129
- view
  authority control:
- export record
  dblp key:
  - conf/cade/HeuleKB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HeuleKB17
Marijn J. H. Heule, Benjamin Kiesl, Armin Biere:
Short Proofs Without New Variables. 130-147
- view
  authority control:
- export record
  dblp key:
  - conf/cade/MengRTB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/MengRTB17
Baoluo Meng, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett:
Relational Constraint Solving in SMT. 148-165
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BenderS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BenderS17
Markus Bender, Viorica Sofronie-Stokkermans:
Decision Procedures for Theories of Sets with Measures. 166-184
- view
  authority control:
- export record
  dblp key:
  - conf/cade/CristiaR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/CristiaR17
Maximiliano Cristiá, Gianfranco Rossi:
A Decision Procedure for Restricted Intensional Sets. 185-201
- view
  authority control:
- export record
  dblp key:
  - conf/cade/TeuckeW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/TeuckeW17
Andreas Teucke, Christoph Weidenbach:
Decidability of the Monadic Shallow Linear First-Order Fragment with Straight Dismatching Constraints. 202-219
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Cruz-FilipeHHKS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Cruz-FilipeHHKS17
Luís Cruz-Filipe, Marijn J. H. Heule, Warren A. Hunt Jr., Matt Kaufmann, Peter Schneider-Kamp:
Efficient Certified RAT Verification. 220-236
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Lammich17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Lammich17
Peter Lammich:
Efficient Verified (UN)SAT Certificate Checking. 237-254
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BlancoCM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BlancoCM17
Roberto Blanco, Zakaria Chihani, Dale Miller:
Translating Between Implicit and Explicit Versions of Proof. 255-273
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Kiesl017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Kiesl017
Benjamin Kiesl, Martin Suda:
A Unifying Principle for Clause Elimination in First-Order Logic. 274-290
- view
  authority control:
- export record
  dblp key:
  - conf/cade/GleissK017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/GleissK017
Bernhard Gleiss, Laura Kovács, Martin Suda:
Splitting Proofs for Interpolation. 291-309
- view
  authority control:
- export record
  dblp key:
  - conf/cade/0001SUP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/0001SUP17
Stephan Schulz, Geoff Sutcliffe, Josef Urban, Adam Pease:
Detecting Inconsistencies in Large First-Order Knowledge Bases. 310-325
- view
  authority control:
- export record
  dblp key:
  - conf/cade/HustadtOD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HustadtOD17
Ullrich Hustadt, Ana Ozaki, Clare Dixon:
Theorem Proving for Metric Temporal Logic over the Naturals. 326-343
- view
  authority control:
- export record
  dblp key:
  - conf/cade/ItegulovSP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ItegulovSP17
Daniyar Itegulov, John K. Slaney, Bruno Woltzenlogel Paleo:
Scavenger 0.1: A Theorem Prover Based on Conflict Resolution. 344-356
- view
  authority control:
- export record
  dblp key:
  - conf/cade/PapapanagiotouF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/PapapanagiotouF17
Petros Papapanagiotou, Jacques D. Fleuriot:
WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition. 357-370
- view
  authority control:
- export record
  dblp key:
  - conf/cade/LonsingE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/LonsingE17
Florian Lonsing, Uwe Egly:
DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL. 371-384
- view
  authority control:
- export record
  dblp key:
  - conf/cade/NageleFM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/NageleFM17
Julian Nagele, Bertram Felgenhauer, Aart Middeldorp:
CSI: New Evidence - A Progress Report. 385-397
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BarbosaBF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BarbosaBF17
Haniel Barbosa, Jasmin Christian Blanchette, Pascal Fontaine:
Scalable Fine-Grained Proofs for Formula Processing. 398-412
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cade/SternagelS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/SternagelS17
Christian Sternagel, Thomas Sternagel:
Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems. 413-431
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BeckerBWW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BeckerBWW17
Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand:
A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms. 432-453
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BrockschmidtJT017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BrockschmidtJT017
Marc Brockschmidt, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada:
Certifying Safety and Termination Proofs for Integer Transition Systems. 454-471
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BrotherstonGK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BrotherstonGK17
James Brotherston, Nikos Gorogiannis, Max I. Kanovich:
Biabduction (and Related Problems) in Array Separation Logic. 472-490
- view
  authority control:
- export record
  dblp key:
  - conf/cade/TellezB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/TellezB17
Gadi Tellez, James Brotherston:
Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof. 491-508
- view
  authority control:
- export record
  dblp key:
  - conf/cade/XuCW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/XuCW17
Zhaowei Xu, Taolue Chen, Zhilin Wu:
Satisfiability of Compositional Separation Logic with Tree Predicates and Data Constraints. 509-527
- view
  authority control:
- export record
  dblp key:
  - conf/cade/NagashimaK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/NagashimaK17
Yutaka Nagashima, Ramana Kumar:
A Proof Strategy Language and Proof Script Generation for Isabelle/HOL. 528-545
- view
  authority control:
- export record
  dblp key:
  - conf/cade/EchenimP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/EchenimP17
Mnacho Echenim, Nicolas Peltier:
The Binomial Pricing Model in Finance: A Formalization in Isabelle. 546-562
- view
  authority control:
- export record
  dblp key:
  - conf/cade/FarberKU17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/FarberKU17
Michael Färber, Cezary Kaliszyk, Josef Urban:
Monte Carlo Tableau Proof Search. 563-579

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.