Login / Signup
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP).
Hossein Hojjat
Hootan Nakhost
Marjan Sirjani
Published in:
J. Univers. Comput. Sci. (2007)
Keyphrases
</>
formal proof
theorem prover
spanning tree protocol
theorem proving
automated theorem proving
inference rules
automated deduction
computer algebra
first order logic
real time
information systems
temporal constraints
consistency checking
social networks
d scene