#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://ja.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