Este documento ainda não foi traduzido. A versão verificada em inglês é exibida.
Armazenamentos de dados
Storage adapters and application-specific verification.
- Atualizado
- Versão alvo
- qualification
Adapter boundary
A datastore is considered verified only for the operations, data types, coordinate systems, and concurrency conditions represented by an evidence run.