Lessons Learned in Game Development for Crowdsourced Software Formal Verification
Drew Dean, SRI International, Sean L. Guarino, Charles River Analytics, Leonard Eusebi, Charles River, Analytics Andrew Keplinger, Left Brain Games, Aaron Cammarata, Voidalpha John Murrary, SRI International, Kelly McLaughlin, Xpd Analytics, John Cheng, Veracient Llc, Thomas Maddern, Veracient Llc · 2015
The history of formal methods and computer security research is long and intertwined. Program logics that were in theory capable of proving security properties of software were developed by the early 1970s [1]. The