DMCA

Verdi: A Framework for Implementing and Formally Verifying Distributed Systems

by James R. Wilcox , Doug Woos , Pavel Panchekha , Zachary Tatlock , Xi Wang , Michael D. Ernst , Thomas Anderson
Citations:4 - 0 self