Verification of Immediate Observation Population Protocols.
Javier EsparzaPierre GantyRupak MajumdarChana Weil-KennedyPublished in: CoRR (2018)
Keyphrases
- cryptographic protocols
- model checking
- population size
- face verification
- formal verification
- cultural algorithms
- communication protocols
- protocol specification
- database
- concurrent systems
- formal analysis
- application level
- communication protocol
- formal methods
- database systems
- fingerprint verification
- web services
- information systems
- functional verification
- neural network