Great expectations: observability in asynchronous systems using temporal logic

Aditya Bharadwaj, Principal engineer at Capillary