Verifying Self-stabilizing Population Protocols with Coq.

Yuxin Deng Jean-François Monin

Published in: TASE (2009)

Keyphrases

model checking
data mining
theorem prover
formal methods
population size
demographic data
search space
security protocols
authentication protocol
cryptographic protocols
communication protocols