時相論理の形式仕様の Quint を使って、denoland/celld の二重 writer バグを見つけた

2026.08.19 17:27
Zenn.dev

本記事は、AIに分散システムのバグを探させて、そのレポートを自分が理解できるように整形させたものです。 実際に見つかったバグは以下の Issues で、現在修正済みです。 これをどうやって見つけたのか、それを解説します。 ただし、形式仕様によるバグ検査は2026/08現在 Claude/ChatGPT のガードレールが発動しやすく...

検索

人気記事

2026.05.05 11:04
2026.08.23 19:08
2026.11.11 10:07
2026.11.09 11:28
2026.11.13 8:46

コメント一覧

まだコメントはありません。

コメント