SL-COMP: competition of solvers for separation logic.

Mihaela Sighireanu

Published in: Int. J. Softw. Tools Technol. Transf. (2021)

Keyphrases

modal logic
logic programming
classical logic
sat solvers
multi valued
constraint solver
multi agent
knowledge representation
automated reasoning
defeasible logic
set theory
formal theory
highly optimized