5 ms·Using lightweight formal methods to validate a key-value storage node in S36 points by gbrown_ 5y ago