Guidelines for the Verification of Population Protocols.
Julien ClémentCarole Delporte-GalletHugues FauconnierMihaela SighireanuPublished in: ICDCS (2011)
Keyphrases
- cryptographic protocols
- model checking
- protocol specification
- fingerprint verification
- face verification
- evidence based medicine
- asynchronous circuits
- communication protocols
- decision support system
- formal analysis
- verification method
- formal verification
- artificial intelligence
- real time
- database
- application level
- mutation operator
- multi objective
- face recognition
- database systems
- high security
- demographic data
- data sets