Klaus von Gleissenthall, Andrey Rybalchenko, Santiago Zanella Béguelin. Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk). In Alexei Lisitsa, Andrei P. Nemytykh, editors, VPT 2014. Second International Workshop on Verification and Program Transformation, July 17-18, 2014, Vienna, Austria, The workshop is an event of the Vienna Summer of Logic 2014 and it is co-located with the 26th International Conference on Computer Aided Verification CAV 2014. Volume 28 of EPiC Series, pages 2, EasyChair, 2014. [doi]
Abstract is missing.