Unifying separation logic and region logic to allow interoperability.

Yuyan Bao Gary T. Leavens Gidon Ernst

Published in: Formal Aspects Comput. (2018)

Keyphrases

modal logic
predicate logic
logic programming
multi valued
real time
neural network
medical images
classical logic
defeasible logic
web services
automated reasoning
probabilistic logic
epistemic logic
asynchronous circuits
natural deduction