Artwork

Content provided by Galois Inc., Joey Dodds, and Shpat Morina. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Galois Inc., Joey Dodds, and Shpat Morina or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ro.player.fm/legal.
Player FM - Aplicație Podcast
Treceți offline cu aplicația Player FM !

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

1:00:50
 
Distribuie
 

Manage episode 279188149 series 2824530
Content provided by Galois Inc., Joey Dodds, and Shpat Morina. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Galois Inc., Joey Dodds, and Shpat Morina or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ro.player.fm/legal.

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

Contact us: podcast@galois.com

  continue reading

22 episoade

Artwork
iconDistribuie
 
Manage episode 279188149 series 2824530
Content provided by Galois Inc., Joey Dodds, and Shpat Morina. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Galois Inc., Joey Dodds, and Shpat Morina or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ro.player.fm/legal.

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

Contact us: podcast@galois.com

  continue reading

22 episoade

Toate episoadele

×
 
Loading …

Bun venit la Player FM!

Player FM scanează web-ul pentru podcast-uri de înaltă calitate pentru a vă putea bucura acum. Este cea mai bună aplicație pentru podcast și funcționează pe Android, iPhone și pe web. Înscrieți-vă pentru a sincroniza abonamentele pe toate dispozitivele.

 

Ghid rapid de referință