3 ms·Specy: Learning Specifications for Distributed Systems from Event Traces [pdf]2 points by matt_d 7mo ago