Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols.
Orr TamirMarcelo TaubeKenneth L. McMillanSharon ShohamJon HowellGuy GuetaMooly SagivPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- distributed environment
- cooperative
- multi agent
- communication overhead
- distributed systems
- data driven
- lightweight
- multi party
- database replication
- real time
- distributed architecture
- distributed data
- fault tolerant
- mobile agents
- computer networks
- smart card
- agent technology
- distributed computing
- model checking
- wireless sensor networks
- genetic algorithm
- communication protocols
- quantifier elimination
- databases