Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table.

Petr Rockai

Browse the full FM paper archive.