Sedeve-Kit, a Specification-Driven Development Framework for Building Distributed Systems

Hua Guo, Yunhong Ji, Xuan Zhou

Developing distributed systems presents significant challenges, primarily due to the complexity introduced by non-deterministic concurrency and faults. To address these, we propose…