Declarative Parameterized Verification of Topology-Sensitive Distributed Protocols.
Sylvain ConchonGiorgio DelzannoAngelo FerrandoPublished in: NETYS (2018)
Keyphrases
- small world
- distributed systems
- distributed environment
- cryptographic protocols
- knowledge representation
- cooperative
- face verification
- fault tolerant
- multi party
- concurrency control protocols
- communication overhead
- domain independent
- lightweight
- group communication
- asynchronous circuits
- communication protocols
- database
- database replication
- formal verification
- distributed data
- computer networks
- high level