Parameterized Verification of Track Topology Aggregation Protocols.
Sergio Feo ArenisBernd WestphalPublished in: FMOODS/FORTE (2013)
Keyphrases
- cryptographic protocols
- model checking
- protocol specification
- verification method
- data aggregation
- formal verification
- neural network
- formal analysis
- formal methods
- face verification
- database systems
- multi party
- multiscale
- rank aggregation
- communication protocol
- image sequences
- communication protocols
- fingerprint verification
- asynchronous circuits
- artificial intelligence