Author:Andrey Rybalchenko

Publications
Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk) Klaus von Gleissenthall, Andrey Rybalchenko and Santiago Zanella-Béguelin In:VPT 2014. Second International Workshop on Verification and Program Transformation
Program Verification as Satisfiability Modulo Theories Nikolaj Bjorner, Kenneth McMillan and Andrey Rybalchenko In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories