Cybozu Inside Out | サイボウズエンジニアのブログ

この記事は、CYBOZU SUMMER BLOG FES '25の記事です。 こんにちは、クラウド基盤本部の向井です。 システム開発において、「具体的な実装」が「抽象的な仕様」を満たしていることを保証することは重要な課題です。TLA+ の Refinement（詳細化）は、この課題に対する解決策の一つです。本記事では、上書き可能なオブジェク…