Verdi: A Framework for Implementing and Formally Verifying Distributed Systems”. In: (2015)

by J R Wilcox, D Woos, P Panchekha, Z Tatlock, X Wang, M D Ernst, T Anderson