Towards Model-based Verification of a Key-Value Storage Engine (opens in new tab)

Learn how we used modular, model-based verification technique for automatically checking conformance between the WiredTiger key-value storage engine implementation and an abstract formal specification of its API.