Verification of population protocols.

Javier Esparza Pierre Ganty Jérôme Leroux Rupak Majumdar

Published in: Acta Informatica (2017)

Keyphrases

cryptographic protocols
model checking
protocol specification
communication protocols
information systems
asynchronous circuits
formal analysis
signature verification
concurrent systems
cultural algorithms
data mining
optimal solution
face verification
formal verification
high security
multi population