Formal Verification of an Access Concurrency Control Algorithm for Transaction Time Relations.

Achraf Makni Rafik Bouaziz Faïez Gargouri

Published in: ICEIS (1) (2006)

Keyphrases

formal verification
model checking
automated verification
model checker
bounded model checking
symbolic model checking
database
access control
knowledge base
concurrency control
state space