Automated reasoning for equivalences in the applied pi calculus with barriers.

Bruno Blanchet Ben Smyth

Published in: J. Comput. Secur. (2018)

Keyphrases

automated reasoning
knowledge representation
theorem prover
reasoning systems
reasoning tasks
theorem proving
neural network
search space
dynamic programming
decision procedures
propositional satisfiability