Bayonet: probabilistic inference for networks. - Timon Gehr; Sasa Misailovic; Petar Tsankov; Laurent Vanbever; Pascal Wiesmann; Martin T. Vechev (PLDI, 2018)