Riak is an open source, fault tolerant and eventually consistent distributed database from Basho Technologies. We set out to verify Riak's behavior during node failure and partitioning using QuickCheck.The talk will cover the different strategies we used to model the system over a week of testing and show where we ended up.

Loading more stuff…

Hmm…it looks like things are taking a while to load. Try again?

Loading videos…