Login / Signup
Ron Watro
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Transition Systems
Automated Verification
Model Checking
Computation Tree Logic
Top Venues
CSI-SE
</>
Publications
</>
Kerry Moffitt
,
John Ostwald
,
Ron Watro
,
Eric Church
Making Hard Fun in Crowdsourced Model Checking - Balancing Crowd Engagement and Efficiency to Maximize Output in Proof by Games.
CSI-SE
(2015)