Towards verifying eventually consistent applications

More Info
expand_more