Login / Signup
Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols.
Jannik Dreier
Charles Duménil
Steve Kremer
Ralf Sasse
Published in:
POST (2017)
Keyphrases
</>
automated verification
equational theories
model checking
automated reasoning
theorem proving
formal verification
theorem prover
graph theory
temporal logic
first order logic
databases
network structure
optimization problems
simulated annealing
publish subscribe
general purpose
artificial intelligence