#tla+ のAIニュース

Specula、システムコードの自動検証とバグ発見を自動化するエージェントシステムを発表

Specula はコードから TLA+ 仕様を自動生成し、モデル検査で並行処理バグを検出し、統合テストで再現するエージェントシステムである。