Verification of Population Protocols.
Javier EsparzaPierre GantyJérôme LerouxRupak MajumdarPublished in: CONCUR (2015)
Keyphrases
- cryptographic protocols
- protocol specification
- model checking
- signature verification
- concurrent systems
- population size
- formal verification
- communication protocols
- verification method
- security protocols
- asynchronous circuits
- false acceptance
- neural network
- formal methods
- database systems
- artificial intelligence
- genetic algorithm