Program Verification with Separation Logic.

Published in: SPIN (2018)

Keyphrases

classical logic
defeasible logic
logic programming
automated reasoning
multi valued
logic synthesis
data sets
e learning
bayesian networks
data structure
formal language
abductive reasoning
proof theory