You are here

Lessons Learned in Game Development for Crowdsourced Software Formal Verification

TitleLessons Learned in Game Development for Crowdsourced Software Formal Verification
Publication TypeConference Paper
Year of Publication2015
AuthorsDean D, Gaurino S, Eusebi L, Keplinger A, Pavlik T, Watro R, Cammarata A, Murray J, McLaughlin K, Cheng J, Maddern T
Conference Name2015 {USENIX} Summit on Gaming, Games, and Gamification in Security Education (3GSE 15)
Date Published08/2015
Publisher{USENIX} Association
Conference LocationWashington, D.C.
URLhttps://www.usenix.org/conference/3gse15/summit-program/presentation/dean