Using Lightweight Formal Methods to Validate a Key-Value ...

← Back to document page

petabytes of customer data as part of a gradual rollout. This paper reports our experiences applying lightweight formalmethods [24]suchasproperty-basedtestingandstate-less model checking to validate ShardStore’s correctness. We sought lightweight methods that were automated and usable by non-formal-methods experts to validate new features

  Automated, Rollout