Description

KubernetesのControllerの安全性を検証するAnvilというframeworkについて話しました。後半はAsterinasというRustで書かれたLinux ABI互換のOSを紹介しています。

• Anvil: Verifying Liveness of Cluster Management Controllers
  • https://github.com/anvil-verifier/anvil
  • Verus
• Asterinas

Chapters:
(00:00) Opening
(04:28) Anvil: Verifying Liveness of Cluster Management Controllers
(24:36) Asterinas: A New OS written in Rust
(34:35) Ending