Advances in Parameterized Verification of Population Protocols.
Javier EsparzaPublished in: CSR (2017)
Keyphrases
- cryptographic protocols
- communication protocols
- recent advances
- population size
- model checking
- protocol specification
- artificial intelligence
- face verification
- real time
- functional verification
- cultural algorithms
- communication protocol
- entire population
- demographic data
- concurrent systems
- population dynamics
- asynchronous circuits
- formal verification
- technological advances
- formal methods
- mutation operator
- recent developments
- information systems