ドキュメントナビゲーション
この文書はまだ翻訳されていません。検証済みの英語文書を表示します。
ドキュメント

データストア

Storage adapters and application-specific verification.

更新日
対象バージョン
qualification

Adapter boundary

A datastore is considered verified only for the operations, data types, coordinate systems, and concurrency conditions represented by an evidence run.