Data stores
Storage adapters and application-specific verification.
- Updated
- Target version
- qualification
Adapter boundary
A datastore is considered verified only for the operations, data types, coordinate systems, and concurrency conditions represented by an evidence run.