Formal Specification of the Kademlia and the Kad Routing Tables in Maude.

Isabel Pita María-Inés Fernández-Camacho

Published in: WADT (2012)

Keyphrases

formal specification
routing table
specification languages
model checking
specification language
object oriented design
process algebra
routing algorithm
inter domain
formal methods
concurrent systems
reverse engineering
software components
protocol specification
software systems
ip address
autonomous systems