Planning for change in a formal verification of the raft consensus protocol

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 18, 2016
Source ID
10.1145/2854065.2854081

Entities

People

  • Doug Woos
  • James R. Wilcox
  • Michael D. Ernst
  • Steve Anton
  • Thomas Anderson
  • Zachary Tatlock

Organizations

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