Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN.

Achraf Makni, Rafik Bouaziz, Faez Gargouri

Browse the full TIME paper archive.