Demonstrating topoS: Theorem-prover-based synthesis of secure network configurations.

Cornelius Diekmann Andreas Korsten Georg Carle

Published in: CNSM (2015)

Keyphrases

theorem prover
formal proof
first order logic
theorem proving
inference rules
automated reasoning
term rewriting
automated theorem proving
computer algebra
wireless sensor networks
network structure
natural deduction
boolean algebra
mathematical knowledge
logic programs
application level