Pretend synchrony: synchronous verification of asynchronous distributed programs.
Klaus von GleissenthallRami Gökhan KiciAlexander BakstDeian StefanRanjit JhalaPublished in: Proc. ACM Program. Lang. (2019)
Keyphrases
- asynchronous communication
- symbolic execution
- distributed environment
- distributed constraint satisfaction
- multi agent
- distributed systems
- cooperative
- model checking
- asynchronous circuits
- peer to peer
- lightweight
- data mining
- signature verification
- databases
- knowledge base
- formal verification
- communication cost
- temporal logic
- fault tolerant
- distributed databases
- mobile agents