Episode 116 – Monster Bash

This week we are especially delighted to have two special guests on the show, Eric Mertens from Galois, Inc.  and Aaron Camerata from voidALPHA to share their insight and experience on the Verigames project with DARPA over that past couple of years. Aaron does a fantastic job explaining how playing the game Monster Proof helps improve code quality by players playing the game in his recent blog post “Games…for Science!”  http://voidalpha.com/blog/ce6a4/monster-proof—how-it-works . The concept here is pretty simple — can crowdsourced players playing a game perform formal verification / code testing faster and more cost-effectively than testers following the traditional development … Continue reading