Automated Reasoning for Equivalences in the Applied Pi Calculus with Barriers.

Bruno Blanchet Ben Smyth

Published in: CSF (2016)

Keyphrases

automated reasoning
reasoning systems
probabilistic reasoning
knowledge representation
knowledge base
pairwise
fuzzy logic
theorem prover
theorem proving
automated verification
learning algorithm
propositional satisfiability
reasoning tasks
relational algebra
general purpose
semi supervised
search algorithm