Bayonet: probabilistic inference for networks.

Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin T. Vechev

Browse the full PLDI paper archive.