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

Building Better Systems

Вміст надано Galois Inc., Joey Dodds, and Shpat Morina. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Galois Inc., Joey Dodds, and Shpat Morina або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.player.fm/legal.

4y ago 1:00:50

MP3•Головна епізоду

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.

Video of this podcast can be found on our Youtube channel:

Galois, Inc.: https://galois.com/

Joey Dodds: https://galois.com/team/joey-dodds/

Shpat Morina: https://galois.com/team/shpat-morina/

Muse.dev

Tom Dubuisson: https://www.linkedin.com/in/thomas-dubuisson-62910453/

Stephen Magill, https://www.linkedin.com/in/stephen-magill-2070a096/

Continuous Reasoning: Scaling the impact of formal methods by Peter W. O’Hearn https://bit.ly/2I0TJEs

22 епізодів

#Tech #Podcasting Education #Government #Galois Inc #Joey Dodds #Shpat Morina