4 ms·Using lightweight formal methods to validate a K/V storage node in Amazon S32 points by dochtman 5y ago