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

2026.08.19 17:27
Zenn.dev

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

検索

人気記事

2026.05.05 11:04
2026.08.18 18:03
2026.08.18 20:31
2026.08.18 20:40
2026.08.19 1:43

コメント一覧

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

コメント