Lessons Learned in Game Development for Crowdsourced Software Formal Verification

Abstract

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