Questo documento non è ancora tradotto. Viene mostrata la versione inglese verificata.
Archivi dati
Storage adapters and application-specific verification.
- Aggiornato
- Versione target
- qualification
Adapter boundary
A datastore is considered verified only for the operations, data types, coordinate systems, and concurrency conditions represented by an evidence run.