Formal Modelling and Verification of Population Protocols.

Dominique Méry Michael Poppleton

Published in: IFM (2013)

Keyphrases

formal methods
cryptographic protocols
model checking
formal analysis
formal verification
formal specification
face verification
asynchronous circuits
formal model
data sets
real time
data model
population size
case study
mathematical theory
artificial intelligence
communication protocols