VPT@CAV

Keyphrases

Publications

2014

Andrei P. Nemytykh
On Unfolding for Programs Using Strings as a Data Type. VPT@CAV (2014)
Antonina Nepeivoda
Verification of Multi-Party Ping-Pong Protocols via Program Transformation. VPT@CAV (2014)
Michael Leuschel
Towards Constraint-Solving over Higher-Order Unbounded Datatypes using Formal Methods Tools. VPT@CAV (2014)
Klaus von Gleissenthall, Andrey Rybalchenko, Santiago Zanella Béguelin
Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk). VPT@CAV (2014)
Geoff W. Hamilton, Morten Heine Sørensen
Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem. VPT@CAV (2014)
Alexei Lisitsa, Andrei P. Nemytykh
A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? VPT@CAV (2014)
Daniil Frumin, Irina A. Lomazova
Branching Processes of Conservative Nested Petri Nets. VPT@CAV (2014)
Thomas Sewell
Formal Replay of Translation Validation for Highly Optimised C. VPT@CAV (2014)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Program Verification using Constraint Handling Rules and Array Constraint Generalizations. VPT@CAV (2014)

volume 28, 2014

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 VPT@CAV 28 (2014)

2013

volume 16, 2013

First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013 VPT@CAV 16 (2013)