On Model-Checking Optimistic Replication Algorithms.

Hanifa Boucheneb Abdessamad Imine

Published in: FMOODS/FORTE (2009)

Keyphrases

model checking
finite state
temporal logic
deterministic finite automaton
reachability analysis
temporal properties
model checker
formal verification
state space
asynchronous circuits
belief revision
symbolic model checking
concurrent systems
process algebra
timed automata
orders of magnitude
distributed systems