#3: Stephen Magill & Tom DuBuisson – Musing on continuous code analysis

<p>The founders of MuseDev discuss making modern static analysis usable and leveraging the latest promising research for automatic bug finding. MuseDev is a spin-off of Galois. </p><p>Video of this podcast can be found on our Youtube channel: </p><p>Galois, Inc.: https://galois.com/ </p><p>Joey Dodds: https://galois.com/team/joey-dodds/ </p><p>Shpat Morina: https://galois.com/team/shpat-morina/ </p><p>Muse.dev </p><p>Tom Dubuisson: https://www.linkedin.com/in/thomas-dubuisson-62910453/ </p><p>Stephen Magill, https://www.linkedin.com/in/stephen-magill-2070a096/</p><p>Continuous Reasoning: Scaling the impact of formal methods by Peter W. O’Hearn https://bit.ly/2I0TJEs</p><p>Contact us: podcast@galois.com </p>