SL-COMP: Competition of Solvers for Separation Logic.

Mihaela Sighireanu Juan Antonio Navarro Pérez Andrey Rybalchenko Nikos Gorogiannis Radu Iosif Andrew Reynolds Cristina Serban Jens Katelaan Christoph Matheja Thomas Noll Florian Zuleger Wei-Ngan Chin Quang Loc Le Quang-Trung Ta Ton-Chanh Le Thanh-Toan Nguyen Siau-Cheng Khoo Michal Cyprian Adam Rogalewicz Tomás Vojnar Constantin Enea Ondrej Lengál Chong Gao Zhilin Wu

Published in: TACAS (3) (2019)

Keyphrases

logic programming
multi valued
classical logic
modal logic
databases
data sets
sat solvers
highly optimized
asynchronous circuits
epistemic logic
constraint solver
predicate logic
digital circuits
set theory
probabilistic logic
automated reasoning
case study