SPEN: A Solver for Separation Logic.

Constantin Enea Ondrej Lengál Mihaela Sighireanu Tomás Vojnar

Published in: NFM (2017)

Keyphrases

modal logic
logic programming
classical logic
digital circuits
neural network
data mining
automated reasoning
asynchronous circuits
real time
learning algorithm
probabilistic logic
computational properties
formal theory
epistemic logic