Research Paper Series: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
The paper "Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3"...
Tags: aws, cloud, softwaredevelopment, testing