EVEREST: Nearly full automatic verification for geo-replicated systems

Computer Science

1. Data Type 100%
2. Correctness 42%
3. Concurrency 42%
4. Proof 28%
5. Distributed System 26%
6. Mitigation Strategy 17%
7. fault-tolerance 14%
8. High-Level Language 14%
9. Formal Specification 14%
10. Data Structure 14%
11. Metadata 14%
12. Invariant 9%
13. Space Complexity 8%
14. Performance Bottleneck 8%
15. Efficient Implementation 8%
16. Query Execution 8%
17. Design Implementation 8%
18. Distributed Databases 8%
19. Time Complexity 8%
20. Design Verification 8%
21. Text Editor 8%
22. Collaboration 8%
23. Fault Tolerant 8%
24. Systematic Analysis 8%