3 ms·Multi-Grained Specs for Distributed System Model Checking and Verification3 points by matt_d 2y ago