Conference: SMT 2018 (16th International Workshop on Satisfiability Modulo Theories)

Conference: SMT 2018 (16th International Workshop on Satisfiability Modulo Theories)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Selfless Interpolation for Infinite-State Model Checking

Selfless Interpolation for Infinite-State Model Checking

Tanja Schindler and Dejan Jovanović

Invited talk: Automating Separation Logics using SMT

Invited talk: Automating Separation Logics using SMT

Alt-Ergo 2.2

Mohamed Iguernlala, Sylvain Conchon and Albin Coquereau

The next 10^4 UppSAT Approximations

The next 10^4 UppSAT Approximations

Peter Backeman, Aleksandar Zeljić, Philipp Rümmer and Christoph M. Wintersteiger

Higher-Order SMT Solving

Higher-Order SMT Solving

Haniel Barbosa, Andrew Reynolds, Pascal Fontaine, Daniel El Ouraoui and Cesare Tinelli

SMT-based Compile-time Verification of Safety Properties for Smart Contracts

SMT-based Compile-time Verification of Safety Properties for Smart Contracts

Leonardo Alt and Christian Reitwiessner

Proofs in conflict-driven theory combination

Proofs in conflict-driven theory combination

Maria Paola Bonacina, Stéphane Graham-Lengrand and Natarajan Shankar

Invited talk: Experiments in Universal Logical Reasoning --- How to utilise ATPs and SMT solvers for the exploration of axiom systems for category theory in free logic

Invited talk: Experiments in Universal Logical Reasoning --- How to utilise ATPs and SMT solvers for the exploration of axiom systems for category theory in free logic

Christoph Benzmüller

Puli - A Problem-Specific OMT Solver

Puli - A Problem-Specific OMT Solver

Gergely Kovásznai, Csaba Biró and Balázs Erdélyi

Revisiting Enumerative Instantiation

Revisiting Enumerative Instantiation

Andrew Reynolds, Haniel Barbosa and Pascal Fontaine

Rewrites for SMT Solvers using Syntax-Guided Enumeration

Rewrites for SMT Solvers using Syntax-Guided Enumeration

Andrew Reynolds, Haniel Barbosa, Aina Niemetz, Andres Noetzli, Mathias Preiner, Clark Barrett and Cesare Tinelli

Centralizing Equality Reasoning in MCSAT

Centralizing Equality Reasoning in MCSAT

François Bobot, Stéphane Graham-Lengrand, Bruno Marre and Guillaume Bury

Presentations in this collection: 12