Verdi: a framework for implementing and formally verifying distributed systems

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 03, 2015
Source ID
10.1145/2737924.2737958

Entities

People

  • Doug Woos
  • James R. Wilcox
  • Michael D. Ernst
  • Pavel Panchekha
  • Thomas Anderson
  • Xi Wang
  • Zachary Tatlock

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • United States Air Force
  • University of Washington