Doug Woos is an author at University of Washington specializing in engineering, computer science, and formal verification.
Top concepts
EngineeringComputer ScienceVerificationFormal MethodsFormal VerificationData SecurityCloud ComputingSystem SoftwareSoftware AnalysisDistributed Systems
Publications per year
2014–2018
10
10
Verdi: a framework for implementing and formally verifying distributed systems
James R. Wilcox, Doug Woos, Pavel Panchekha et al. · 2015 · 260 citations · Full text
Planning for change in a formal verification of the raft consensus protocol
Doug Woos, James R. Wilcox, Steve Anton et al. · 2016 · 125 citations · Full text
Blockchain Consensus Protocol, Engineering, Information Security +21
Simon Peter, Jialin Li, Irene Zhang et al. · ACM Transactions on Computer Systems · 2015 · 102 citations · Full text
Scalable verification of border gateway protocol configurations with an SMT solver
Konstantin Weitz, Doug Woos, Emina Torlak et al. · 2016 · 56 citations · Full text
Rows per page
1–5 of 10