Hampa: Solver-Aided Recency-Aware Replication

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-53288-8_16 ◽

2020 ◽

pp. 324-349

Author(s):

Xiao Li ◽

Farzin Houshmand ◽

Mohsen Lesani

Download Full-text