#99: The Prusti Project: Formal Verification for Rust

Misreading Chat

תוכן מסופק על ידי Hajime Morrita , Jun Mukai. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Hajime Morrita , Jun Mukai או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.

2y ago 39:33

MP3•בית הפרקים

Rust で使える静的検証ツールの論文を向井が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。

Prusti – Programming Methodology Group | ETH Zurich

142 פרקים

#コンピューターサイエンス #テクノロジー #Computer Science #Hajime Morrita, Jun Mukai

#99: The Prusti Project: Formal Verification for Rust

Misreading Chat

160 subscribers

published 2y ago

שתפו

MP3•בית הפרקים

Prusti – Programming Methodology Group | ETH Zurich

142 פרקים

#コンピューターサイエンス #テクノロジー #Computer Science #Hajime Morrita, Jun Mukai

همه قسمت ها

ברוכים הבאים אל Player FM!

Player FM סורק את האינטרנט עבור פודקאסטים באיכות גבוהה בשבילכם כדי שתהנו מהם כרגע. זה יישום הפודקאסט הטוב ביותר והוא עובד על אנדרואיד, iPhone ואינטרנט. הירשמו לסנכרון מנויים במכשירים שונים.