tanakhのブックマーク - はてなブックマーク

tanakh id:tanakh

ブックマーク / model-checking.github.io (1)

Using Kani to Validate Security Boundaries in AWS Firecracker
tanakh 2023/09/07
Kaniを用いてAWS Firecrackerのノイジーネイバー問題、マイクロVMが設定されたI/Oスループットを超えないことを検証したらしい。丸め誤差で設定した値を0.01%超過するみたいなバグをケースを見つけたりしたらしい。
リンク
1

お知らせ

もっと読む

公式Twitter

@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
@hatebu
最新の人気エントリーの配信

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx