SQLiteの16年越しのバグに学ぶ、並行処理の難しさとAI時代の形式手法 - Findy Media

“形式仕様によるモデル検査やDST（分散システムの決定論的シミュレーションテスト）など、機械的に不具合を探す手法の重要性”

枯れた技術の代表格SQLiteでも16年潜む並行処理バグがあるの怖すぎるな。TLA+や形式手法をAIで扱いやすくなる流れはアツい

残り続ける事にそのバグのレゾンデートルがある。