Experiments in Model-Checking Optimistic Replication Algorithms

Hanifa Boucheneb Abdessamad Imine

Published in: CoRR (2008)

Keyphrases

model checking
temporal logic
formal verification
orders of magnitude
finite state
computational complexity
formal specification
model checker
reachability analysis
computation tree logic
finite state machines
formal methods
np complete
pspace complete
transition systems
abstract interpretation