NTHRYS › PhD Assistance › Database Development

Database Development

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Distributed Database Linearizability Testing

Formal verification and testing frameworks for validating linearizability and strict serializability in distributed databases.