威尔第

Verdi:一个实现和正式验证分布式系统的框架。在Coq中正式验证分布式系统实现的框架。