Why3-do: The Way of Harmonious Distributed System Proofs.
Cláudio Belo LourençoJorge Sousa PintoPublished in: ESOP (2022)
Keyphrases
- distributed systems
- fault tolerant
- fault tolerance
- distributed environment
- theorem proving
- message passing
- load balancing
- distributed computing
- operating system
- geographically distributed
- mobile agents
- software architecture
- distributed database systems
- loosely coupled
- artificial intelligence
- query processing
- replicated data
- data access
- data replication
- agent technology
- theorem prover
- model checking
- database applications
- response time
- database systems